| Fri, 01 Apr 2022 10:55:32 +0200 | wenzelm | clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3; | changeset | files |
| Thu, 31 Mar 2022 22:40:34 +0200 | wenzelm | tuned: eliminted do-while for the sake of scala3; | changeset | files |
| Thu, 31 Mar 2022 22:24:11 +0200 | wenzelm | prefer scala 3.0.x, for option "-source 3.0-migration"; | changeset | files |
| Thu, 31 Mar 2022 21:51:19 +0200 | wenzelm | tuned: avoid problems with scala3; | changeset | files |
| Thu, 31 Mar 2022 21:48:08 +0200 | wenzelm | tuned: avoid problems with scala3; | changeset | files |
| Wed, 30 Mar 2022 16:18:25 +0200 | wenzelm | provide SCALA_INTERFACES for isabelle_setup; | changeset | files |