| Wed, 11 Oct 2023 11:59:24 +0200 |
wenzelm |
proper Exn.capture / Isabelle_Thread.try_catch;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2023 20:07:30 +0200 |
wenzelm |
explicitly reject 'handle' with catch-all patterns;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2023 11:30:01 +0200 |
wenzelm |
clarified output vs. error: presence of error messages means error (see also cb7264721c91);
|
file |
diff |
annotate
|
| Wed, 10 May 2023 20:30:46 +0200 |
wenzelm |
more informative position information;
|
file |
diff |
annotate
|
| Sat, 01 Apr 2023 21:12:44 +0200 |
wenzelm |
more compact data;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2023 11:44:07 +0100 |
wenzelm |
clarified ML option vs. Scala option (see also caa182bdab7a);
|
file |
diff |
annotate
|
| Wed, 28 Dec 2022 16:13:08 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 15:27:55 +0100 |
wenzelm |
more robust batch-build;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 20:02:02 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 03 Apr 2020 17:35:10 +0200 |
wenzelm |
less redundant markup reports;
|
file |
diff |
annotate
|
| 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
|
| 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
|