| Fri, 24 Feb 2023 20:52:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 11:25:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 22:07:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 21:53:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 15:19:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 15:03:31 +0100 |
wenzelm |
clarified signature: prefer Scala functions instead of shell scripts;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 21:58:40 +0100 |
wenzelm |
update to scala-3.2.1;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2022 23:37:54 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2022 20:24:15 +0200 |
wenzelm |
allow spaces in SCALA_HOME directory name;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 16:34:45 +0200 |
wenzelm |
update to scala-3.2.0;
|
file |
diff |
annotate
|
| Fri, 01 Jul 2022 20:27:56 +0200 |
wenzelm |
updated download version;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2022 16:42:52 +0200 |
wenzelm |
back to more ambitious scala-3.1.1 (see 8b7497992301);
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
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 22:24:11 +0200 |
wenzelm |
prefer scala 3.0.x, for option "-source 3.0-migration";
|
file |
diff |
annotate
|
| Wed, 30 Mar 2022 16:18:25 +0200 |
wenzelm |
provide SCALA_INTERFACES for isabelle_setup;
|
file |
diff |
annotate
|
| Sat, 26 Mar 2022 14:12:38 +0100 |
wenzelm |
build Isabelle Scala component from official downloads (for scala-3.1.1);
|
file |
diff |
annotate
|