2013-11-16 wenzelm [Sat, 16 Nov 2013 16:57:09 +0100] rev 54447
proper thy_load command 'boogie_file' -- avoid direct access to file-system;
etc/isar-keywords.el src/HOL/ROOT src/HOL/SMT_Examples/Boogie.thy src/HOL/SMT_Examples/boogie.ML

2013-11-16 wenzelm [Sat, 16 Nov 2013 13:12:02 +0100] rev 54446
tuned signature;
src/Pure/Thy/thy_info.ML src/Pure/Thy/thy_load.ML

2013-11-16 wenzelm [Sat, 16 Nov 2013 13:07:38 +0100] rev 54445
updated example;
src/Doc/System/Sessions.thy

2013-11-16 wenzelm [Sat, 16 Nov 2013 12:41:16 +0100] rev 54444
prefer UTF8.decode_permissive;
src/Pure/General/bytes.scala src/Pure/System/utf8.scala

2013-11-16 wenzelm [Sat, 16 Nov 2013 12:29:10 +0100] rev 54443
more distinctive Isabelle_Process.Output vs. Isabelle_Process.Protocol_Output;
src/Pure/System/isabelle_process.scala src/Pure/System/session.scala

2013-11-15 wenzelm [Fri, 15 Nov 2013 19:31:10 +0100] rev 54442
more specific Protocol_Output: empty message.body, main content via bytes/text;
src/Pure/General/bytes.scala src/Pure/System/invoke_scala.scala src/Pure/System/isabelle_process.scala src/Pure/System/session.scala src/Pure/Tools/sledgehammer_params.scala

2013-11-14 wenzelm [Thu, 14 Nov 2013 17:39:32 +0100] rev 54441
tuned imports;
src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/document_view.scala

2013-11-14 wenzelm [Thu, 14 Nov 2013 17:17:57 +0100] rev 54440
tuned signature;
src/Pure/General/bytes.scala src/Pure/General/file.scala src/Pure/General/sha1.scala src/Pure/System/isabelle_process.scala src/Pure/System/utf8.scala

2013-11-14 wenzelm [Thu, 14 Nov 2013 16:55:32 +0100] rev 54439
immutable byte vectors versus UTF8 strings;
src/Pure/General/bytes.scala src/Pure/build-jars

2013-11-15 haftmann [Fri, 15 Nov 2013 22:02:05 +0100] rev 54438
dropped duplicate of of_bool
src/HOL/ex/Coercion_Examples.thy