blanchet [Fri, 01 Apr 2022 12:26:45 +0200] rev 75390
merge
blanchet [Fri, 01 Apr 2022 11:30:28 +0200] rev 75389
tuned slices to get the fifth Zipperposition slice in a typical run
desharna [Fri, 01 Apr 2022 11:51:42 +0200] rev 75388
merged
desharna [Fri, 01 Apr 2022 11:21:03 +0200] rev 75387
tuned sledgehammer documentation
wenzelm [Fri, 01 Apr 2022 11:27:04 +0200] rev 75386
tuned spelling;
wenzelm [Fri, 01 Apr 2022 11:21:58 +0200] rev 75385
merged
wenzelm [Fri, 01 Apr 2022 11:18:03 +0200] rev 75384
updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
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";