| 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
|