| Fri, 01 Apr 2022 11:18:03 +0200 | wenzelm | updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2; | changeset | files |
| 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 |