Fri, 21 Jul 2023 17:17:28 +0200 |
wenzelm |
tuned signature: more options;
|
file |
diff |
annotate
|
Fri, 25 Nov 2022 22:38:10 +0100 |
wenzelm |
clarified exception: avoid odd compiler warning;
|
file |
diff |
annotate
|
Fri, 25 Nov 2022 21:58:40 +0100 |
wenzelm |
update to scala-3.2.1;
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Tue, 30 Mar 2021 12:32:24 +0200 |
wenzelm |
support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
Fri, 06 Nov 2015 18:15:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 03 Nov 2015 17:41:13 +0100 |
wenzelm |
prefer Isabelle/Scala Future;
|
file |
diff |
annotate
|
Tue, 03 Nov 2015 13:54:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 11 Dec 2014 23:42:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 11 Dec 2014 23:31:30 +0100 |
wenzelm |
added Par_List in Scala, in accordance to ML version;
|
file |
diff |
annotate
|