| Tue, 01 Mar 2016 22:49:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 01 Mar 2016 21:10:29 +0100 |
wenzelm |
load secure.ML earlier;
|
file |
diff |
annotate
|
| Tue, 01 Mar 2016 19:42:59 +0100 |
wenzelm |
ML debugger support in Pure (again, see 3565c9f407ec);
|
file |
diff |
annotate
|
| Tue, 23 Feb 2016 16:20:12 +0100 |
wenzelm |
support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:29:35 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:15:47 +0100 |
wenzelm |
clarified file names;
|
file |
diff |
annotate
| base
|
| Mon, 17 Aug 2015 16:27:12 +0200 |
wenzelm |
explicit debug flag for ML compiler;
|
file |
diff |
annotate
|
| Thu, 06 Aug 2015 21:31:54 +0200 |
wenzelm |
evaluate ML expressions within debugger context;
|
file |
diff |
annotate
|
| Sat, 19 Apr 2014 17:23:05 +0200 |
wenzelm |
added command 'SML_export' and 'SML_import' for exchange of toplevel bindings;
|
file |
diff |
annotate
|
| Thu, 27 Mar 2014 17:56:13 +0100 |
wenzelm |
redirect ML_Compiler reports more directly: only the (big) parse tree report is deferred via Execution.print (NB: this does not work for asynchronous "diag" commands);
|
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
|
| Tue, 25 Mar 2014 19:03:02 +0100 |
wenzelm |
proper configuration option "ML_print_depth";
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 13:18:10 +0100 |
wenzelm |
added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
|
file |
diff |
annotate
|
| Mon, 11 Nov 2013 20:00:53 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 13:18:51 +0200 |
wenzelm |
improved printing of exception trace in Poly/ML 5.5.1;
|
file |
diff |
annotate
|
| Mon, 08 Apr 2013 17:10:49 +0200 |
wenzelm |
prefer pretty_exn where possible -- NB: low-level General.exnMessage may still be used elsewhere (e.g. by the ML compiler itself);
|
file |
diff |
annotate
|
| Tue, 26 Feb 2013 19:58:27 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 16 Jan 2013 20:41:29 +0100 |
wenzelm |
identify future results more carefully, to avoid odd duplication of error messages, notably from forked goals;
|
file |
diff |
annotate
|
| Thu, 18 Aug 2011 17:53:32 +0200 |
wenzelm |
more careful treatment of exception serial numbers, with propagation to message channel;
|
file |
diff |
annotate
|
| Mon, 30 Aug 2010 15:09:20 +0200 |
wenzelm |
more careful treatment of nested multi-exceptions, collapsing cumulatively empty list to Interrupt;
|
file |
diff |
annotate
|
| Sat, 06 Jun 2009 21:11:23 +0200 |
wenzelm |
added exn_message (formerly in toplevel.ML);
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 17:31:38 +0200 |
wenzelm |
added exception_position (dummy);
|
file |
diff |
annotate
|
| Mon, 01 Jun 2009 23:28:06 +0200 |
wenzelm |
added structure ML_Compiler: runtime compilation, with advanced version for Poly/ML 5.3 (formerly ML_Test);
|
file |
diff |
annotate
|