| Mon, 27 Aug 2018 19:12:48 +0200 |
wenzelm |
explicit setup of operations: avoid hardwired stuff;
|
file |
diff |
annotate
|
| Mon, 27 Aug 2018 17:30:13 +0200 |
wenzelm |
clarified environment: allow "read>write" specification;
|
file |
diff |
annotate
|
| Mon, 27 Aug 2018 14:42:24 +0200 |
wenzelm |
support named ML environments, notably "Isabelle", "SML";
|
file |
diff |
annotate
|
| Wed, 09 May 2018 20:45:57 +0200 |
wenzelm |
clarified future scheduling parameters, with support for parallel_limit;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2018 16:55:45 +0100 |
wenzelm |
allow formal comments in ML;
|
file |
diff |
annotate
|
| 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
|