src/Pure/System/command_line.ML
Sat, 09 Apr 2016 14:00:23 +0200 wenzelm clarified bootstrap;
Wed, 06 Apr 2016 17:16:30 +0200 wenzelm tuned signature;
Mon, 29 Feb 2016 16:24:20 +0100 wenzelm proper exit as in Scala version (in contrast to a45ba78abcc1);
Tue, 22 Apr 2014 12:05:02 +0200 wenzelm clarified exit code for the rare situation where Runtime.exn_error_message might fail;
Tue, 22 Apr 2014 11:53:05 +0200 wenzelm tuned -- avoid warning about catch-all handler;
Thu, 27 Mar 2014 17:12:40 +0100 wenzelm clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
Mon, 11 Nov 2013 20:00:53 +0100 wenzelm tuned signature;
Wed, 17 Jul 2013 17:16:51 +0200 wenzelm more robust exn_messages_ids;
Thu, 28 Feb 2013 16:19:08 +0100 wenzelm more robust build error handling, e.g. missing outer syntax commands;
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;
Sun, 05 Aug 2012 13:42:21 +0200 wenzelm prefer general Command_Line.tool wrapper (cf. Scala version);
less more (0) tip