Wed, 12 Feb 2025 00:40:57 +0100 |
wenzelm |
removed unused imports;
|
file |
diff |
annotate
|
Thu, 12 Oct 2023 20:58:15 +0200 |
wenzelm |
clarified user errors vs. failures, e.g. java.lang.StackOverflowError;
|
file |
diff |
annotate
|
Tue, 29 Aug 2023 17:10:48 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
Tue, 29 Aug 2023 17:06:24 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
Fri, 20 Jan 2023 19:52:52 +0100 |
wenzelm |
more direct check of bibtex entries via Isabelle/Scala;
|
file |
diff |
annotate
|
Fri, 20 Jan 2023 16:30:09 +0100 |
wenzelm |
support Session argument for Scala.Fun;
|
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
|
Wed, 27 Jul 2022 11:08:15 +0200 |
wenzelm |
more robust: retain Classpath value;
|
file |
diff |
annotate
|
Wed, 27 Jul 2022 09:27:40 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 26 Jul 2022 19:06:03 +0200 |
wenzelm |
proper classpath for Scala compiler invocation (amending 14e22b525b13);
|
file |
diff |
annotate
|
Mon, 25 Jul 2022 11:19:08 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 12 Jul 2022 16:11:14 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 08 Jul 2022 22:29:26 +0200 |
wenzelm |
support for Isabelle/Scala/Java modules in Isabelle/ML;
|
file |
diff |
annotate
|
Tue, 05 Jul 2022 13:12:04 +0200 |
wenzelm |
switch to Scala 3;
|
file |
diff |
annotate
|
Sat, 25 Jun 2022 13:19:15 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 22 Jun 2022 13:42:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 22 Jun 2022 11:09:31 +0200 |
wenzelm |
clarified types and defaults;
|
file |
diff |
annotate
|
Tue, 21 Jun 2022 23:27:26 +0200 |
wenzelm |
support XZ compression in Isabelle/ML;
|
file |
diff |
annotate
|
Fri, 22 Apr 2022 10:11:06 +0200 |
wenzelm |
clarified management of interpreter threads: more generic;
|
file |
diff |
annotate
|
Thu, 21 Apr 2022 11:49:53 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 21 Apr 2022 11:28:50 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 21 Apr 2022 10:07:17 +0200 |
wenzelm |
clarified signature, based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Thu, 21 Apr 2022 10:03:38 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 09 Apr 2022 12:29:39 +0200 |
wenzelm |
revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;
|
file |
diff |
annotate
|
Fri, 08 Apr 2022 09:58:49 +0200 |
wenzelm |
removed unused flag (see 25c6423ec538);
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Thu, 31 Mar 2022 21:51:19 +0200 |
wenzelm |
tuned: avoid problems with scala3;
|
file |
diff |
annotate
|
Thu, 12 Aug 2021 14:18:46 +0200 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
file |
diff |
annotate
|