| 2022-04-01 | wenzelm | clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3; | changeset | files |
| 2022-03-31 | wenzelm | tuned: eliminted do-while for the sake of scala3; | changeset | files |
| 2022-03-31 | wenzelm | prefer scala 3.0.x, for option "-source 3.0-migration"; | changeset | files |
| 2022-03-31 | wenzelm | tuned: avoid problems with scala3; | changeset | files |
| 2022-03-31 | wenzelm | tuned: avoid problems with scala3; | changeset | files |
| 2022-03-30 | wenzelm | provide SCALA_INTERFACES for isabelle_setup; | changeset | files |
| Loading... | |||