| Wed, 28 Dec 2022 16:02:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 21:58:40 +0100 |
wenzelm |
update to scala-3.2.1;
|
file |
diff |
annotate
|
| Sun, 13 Nov 2022 20:28:39 +0100 |
wenzelm |
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2022 16:39:31 +0200 |
wenzelm |
generic support for XZ and Zstd compression in Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 20 Oct 2022 23:46:49 +0200 |
wenzelm |
enforce fresh build;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 16:34:45 +0200 |
wenzelm |
update to scala-3.2.0;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2022 21:18:40 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 21:25:35 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 25 Aug 2022 15:30:21 +0200 |
wenzelm |
maintain "uuid" column in session build database, to identity the original build process uniquely;
|
file |
diff |
annotate
|
| Sat, 23 Jul 2022 11:26:28 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 22 Jul 2022 15:15:26 +0200 |
wenzelm |
command 'scala_build_generated_files' with proper management of source dependencies;
|
file |
diff |
annotate
|
| Thu, 21 Jul 2022 14:26:53 +0200 |
wenzelm |
support for Java language;
|
file |
diff |
annotate
|
| Fri, 08 Jul 2022 22:29:26 +0200 |
wenzelm |
support for Isabelle/Scala/Java modules in Isabelle/ML;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 16:51:24 +0200 |
wenzelm |
prefer antiquotations;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 13:19:15 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 24 Jun 2022 23:31:28 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 13:14:09 +0200 |
wenzelm |
support for scalable byte strings, with incremental construction;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2021 11:37:49 +0200 |
wenzelm |
tuned modules;
|
file |
diff |
annotate
|
| Tue, 26 Oct 2021 16:01:05 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 16:45:10 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 15:45:27 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 13:13:10 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 08 Jun 2021 13:17:45 +0200 |
wenzelm |
more formal ML profiling messages;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2021 16:40:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 02 May 2021 14:07:19 +0200 |
wenzelm |
early definition of ML antiquotations;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2021 23:35:20 +0200 |
wenzelm |
clarified conditional ML;
|
file |
diff |
annotate
|
| Sun, 11 Apr 2021 21:32:09 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Tue, 23 Mar 2021 19:47:15 +0100 |
wenzelm |
enforce full build;
|
file |
diff |
annotate
|
| Sun, 21 Mar 2021 23:16:34 +0100 |
wenzelm |
enforce full build;
|
file |
diff |
annotate
|
| Fri, 05 Mar 2021 16:09:42 +0100 |
wenzelm |
clarified signature --- augment existing structure Time;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 22:03:33 +0100 |
wenzelm |
enforce full build, after significant changes in Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 14:48:03 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 21 Feb 2021 00:49:09 +0100 |
wenzelm |
clarified lines (again);
|
file |
diff |
annotate
|
| Sat, 20 Feb 2021 23:01:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 20 Feb 2021 22:09:16 +0100 |
wenzelm |
more uniform Bash.process: always ask Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 15:32:57 +0100 |
wenzelm |
clarified modules: less redundancy;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 12:55:41 +0100 |
wenzelm |
clarified modules: allow early invocation of Scala functions;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 12:30:52 +0100 |
wenzelm |
clarified modules: allow early definition of protocol commands;
|
file |
diff |
annotate
|
| Sat, 16 Jan 2021 22:52:43 +0100 |
wenzelm |
updated to scala-2.13.4;
|
file |
diff |
annotate
|
| Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 17:38:03 +0100 |
wenzelm |
clarified protocol: Doc.check at run-time via Scala function;
|
file |
diff |
annotate
|
| Tue, 24 Nov 2020 16:39:58 +0100 |
wenzelm |
clarified signature and database layout;
|
file |
diff |
annotate
|
| Fri, 20 Nov 2020 23:47:34 +0100 |
wenzelm |
generate theory HTML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:47:53 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 01 Nov 2020 16:54:49 +0100 |
haftmann |
bundle mixins for locale and class specifications
|
file |
diff |
annotate
|
| Mon, 12 Oct 2020 07:25:38 +0000 |
haftmann |
dedicated module for toplevel target handling
|
file |
diff |
annotate
|
| Thu, 16 Jul 2020 22:24:03 +0200 |
wenzelm |
support native PID for ML process;
|
file |
diff |
annotate
|
| Mon, 13 Jul 2020 22:07:18 +0200 |
wenzelm |
clarified modules: ML_Statistics within bootstrap environment;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 20:43:19 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 24 May 2020 19:45:42 +0200 |
wenzelm |
proper check of registered Scala functions;
|
file |
diff |
annotate
|
| Wed, 20 May 2020 20:45:43 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2020 13:05:40 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Fri, 03 Apr 2020 20:49:49 +0200 |
wenzelm |
tuned -- prefer Config.T over Data;
|
file |
diff |
annotate
|
| Fri, 03 Apr 2020 17:35:10 +0200 |
wenzelm |
less redundant markup reports;
|
file |
diff |
annotate
|
| Fri, 08 Nov 2019 19:06:50 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 08 Nov 2019 16:11:09 +0100 |
wenzelm |
tuned modules;
|
file |
diff |
annotate
|
| Sat, 19 Oct 2019 11:33:36 +0200 |
wenzelm |
proper protocol_message for bootstrap proofs;
|
file |
diff |
annotate
|