| Sat, 20 Nov 2021 20:42:41 +0100 |
wenzelm |
more symbolic latex_output via XML (using YXML within text);
|
file |
diff |
annotate
|
| Sat, 20 Nov 2021 18:15:09 +0100 |
wenzelm |
more symbolic latex_output via XML;
|
file |
diff |
annotate
|
| Mon, 15 Nov 2021 17:26:31 +0100 |
wenzelm |
more symbolic latex_output via XML;
|
file |
diff |
annotate
|
| Sun, 14 Nov 2021 20:40:41 +0100 |
wenzelm |
more symbolic latex output;
|
file |
diff |
annotate
|
| Sun, 14 Nov 2021 17:46:41 +0100 |
wenzelm |
symbolic latex_output via XML, interpreted in Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 14 Nov 2021 15:42:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 14 Nov 2021 15:21:40 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 16:23:20 +0100 |
wenzelm |
more PIDE markup;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2021 22:35:44 +0200 |
wenzelm |
more markup, e.g. to locate defining theory node in formal document output;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2021 21:16:22 +0200 |
wenzelm |
export other entities, e.g. relevant for formal document output;
|
file |
diff |
annotate
|
| Tue, 24 Aug 2021 13:39:37 +0200 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Tue, 03 Aug 2021 13:08:23 +0200 |
wenzelm |
more uniform signatures in ML and Scala;
|
file |
diff |
annotate
|
| Tue, 08 Jun 2021 13:17:45 +0200 |
wenzelm |
more formal ML profiling messages;
|
file |
diff |
annotate
|
| Tue, 25 May 2021 22:28:39 +0200 |
wenzelm |
compose Latex text as XML, output exported YXML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Sat, 10 Apr 2021 21:50:59 +0200 |
wenzelm |
more robust treatment of empty markup: it allows to produce formal chunks;
|
file |
diff |
annotate
|
| Sat, 13 Mar 2021 12:36:24 +0100 |
wenzelm |
clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:49:15 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 16 Dec 2020 13:22:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 22:30:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 19:04:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 22:07:14 +0100 |
wenzelm |
clarified protocol: support "isabelle log" on failed theories as well;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 16:24:39 +0100 |
wenzelm |
clarified markup: support more completion, e.g. within ROOTS;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 17:57:20 +0100 |
wenzelm |
more completion;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 17:54:50 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2020 20:48:33 +0100 |
wenzelm |
clarified command_timings protocol;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2020 15:24:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 13:19:34 +0200 |
wenzelm |
allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
|
file |
diff |
annotate
|
| Sat, 15 Aug 2020 13:37:34 +0200 |
wenzelm |
provide protocol handlers via isabelle_system_service;
|
file |
diff |
annotate
|
| Fri, 07 Aug 2020 22:57:14 +0200 |
wenzelm |
provide POLYSTATSDIR to keep $HOME/.polyml clean (requires Poly/ML 52881757b127, otherwise ignored);
|
file |
diff |
annotate
|