isabelle: Changelog

wenzelm [Sat, 16 Nov 2013 18:08:57 +0100] rev 54451

tuned signature;

wenzelm [Sat, 16 Nov 2013 17:52:01 +0100] rev 54450

tuned signature -- clarified Proof General legacy;

wenzelm [Sat, 16 Nov 2013 17:39:11 +0100] rev 54449

toplevel function "use" refers to raw ML bootstrap environment;

wenzelm [Sat, 16 Nov 2013 17:04:17 +0100] rev 54448

obsolete;

wenzelm [Sat, 16 Nov 2013 16:57:09 +0100] rev 54447

proper thy_load command 'boogie_file' -- avoid direct access to file-system;

wenzelm [Sat, 16 Nov 2013 13:12:02 +0100] rev 54446

tuned signature;

wenzelm [Sat, 16 Nov 2013 13:07:38 +0100] rev 54445

updated example;

wenzelm [Sat, 16 Nov 2013 12:41:16 +0100] rev 54444

prefer UTF8.decode_permissive;

wenzelm [Sat, 16 Nov 2013 12:29:10 +0100] rev 54443

more distinctive Isabelle_Process.Output vs. Isabelle_Process.Protocol_Output;

wenzelm [Fri, 15 Nov 2013 19:31:10 +0100] rev 54442

more specific Protocol_Output: empty message.body, main content via bytes/text;

isabelle