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