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 |