isabelle: File revisions

src/Pure/System/command_line.ML

Tue, 22 Apr 2014 12:05:02 +0200	wenzelm	clarified exit code for the rare situation where Runtime.exn_error_message might fail;	file \| diff \| annotate
Tue, 22 Apr 2014 11:53:05 +0200	wenzelm	tuned -- avoid warning about catch-all handler;	file \| diff \| annotate
Thu, 27 Mar 2014 17:12:40 +0100	wenzelm	clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;	file \| diff \| annotate
Mon, 11 Nov 2013 20:00:53 +0100	wenzelm	tuned signature;	file \| diff \| annotate
Wed, 17 Jul 2013 17:16:51 +0200	wenzelm	more robust exn_messages_ids;	file \| diff \| annotate
Thu, 28 Feb 2013 16:19:08 +0100	wenzelm	more robust build error handling, e.g. missing outer syntax commands;	file \| diff \| annotate
Wed, 08 Aug 2012 12:33:40 +0200	wenzelm	more casual exit back to ML toplevel, to accomodate commit in SML/NJ which continues at the saved point;	file \| diff \| annotate
Sun, 05 Aug 2012 13:42:21 +0200	wenzelm	prefer general Command_Line.tool wrapper (cf. Scala version);	file \| diff \| annotate

isabelle