wenzelm [Fri, 01 Apr 2022 10:55:32 +0200] rev 75383
clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
wenzelm [Thu, 31 Mar 2022 22:40:34 +0200] rev 75382
tuned: eliminted do-while for the sake of scala3;
wenzelm [Thu, 31 Mar 2022 22:24:11 +0200] rev 75381
prefer scala 3.0.x, for option "-source 3.0-migration";
wenzelm [Thu, 31 Mar 2022 21:51:19 +0200] rev 75380
tuned: avoid problems with scala3;
wenzelm [Thu, 31 Mar 2022 21:48:08 +0200] rev 75379
tuned: avoid problems with scala3;
wenzelm [Wed, 30 Mar 2022 16:18:25 +0200] rev 75378
provide SCALA_INTERFACES for isabelle_setup;
wenzelm [Sat, 26 Mar 2022 14:12:38 +0100] rev 75377
build Isabelle Scala component from official downloads (for scala-3.1.1);
desharna [Fri, 01 Apr 2022 09:58:05 +0200] rev 75376
added documentation
desharna [Fri, 01 Apr 2022 09:41:20 +0200] rev 75375
merged
desharna [Thu, 31 Mar 2022 18:12:38 +0200] rev 75374
tuned sledehammer to return best succeeding preplay method