| Fri, 23 Dec 2016 11:36:41 +0100 |
wenzelm |
suppress dummy id;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 11:21:38 +0100 |
wenzelm |
omit unused markup;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2016 23:11:00 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 15 Apr 2016 16:06:47 +0200 |
wenzelm |
support for Poly/ML entity ids;
|
file |
diff |
annotate
|
| Sun, 10 Apr 2016 18:41:49 +0200 |
wenzelm |
proper support for recursive ML debugging;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 20:07:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 07 Apr 2016 21:27:17 +0200 |
wenzelm |
explicit handling of recursive ML name space, e.g. relevant for ML_Bootstrap;
|
file |
diff |
annotate
|
| Thu, 07 Apr 2016 16:53:43 +0200 |
wenzelm |
more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use';
|
file |
diff |
annotate
|
| Wed, 06 Apr 2016 16:33:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 05 Apr 2016 20:51:37 +0200 |
wenzelm |
clarified modules -- simplified bootstrap;
|
file |
diff |
annotate
|
| Tue, 05 Apr 2016 18:20:25 +0200 |
wenzelm |
support bootstrap from fresh SML environment, with syntax of Isabelle/ML or SML;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 21:55:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 17:56:14 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 17:58:19 +0100 |
wenzelm |
discontinued slightly odd "secure" mode;
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 16:26:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2016 13:51:21 +0100 |
wenzelm |
tuned signature -- clarified modules;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 15:23:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 11:59:03 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 11:12:02 +0100 |
wenzelm |
discontinued polyml-5.3.0;
|
file |
diff |
annotate
|
| 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
|