2022-04-04 wenzelm proper indentation (relevant for scala3);
2022-04-03 haftmann adjusted printing of type annotations to accomodate Scala 3
2022-04-03 paulson two new examples
2022-04-02 haftmann pass constructor arity as part of case certficiate
2022-04-02 haftmann tuned whitespace in generated code
2022-04-01 haftmann tuned, centralizing case distinction at one place at the cost of modest duplication
2022-04-01 wenzelm clarified formatting, for the sake of scala3;
2022-04-01 wenzelm merged
2022-04-01 wenzelm tuned formatting;
2022-04-01 wenzelm clarified formatting, for the sake of scala3;
2022-04-01 haftmann tuned
2022-04-01 haftmann tuned
2022-04-01 blanchet merge
2022-04-01 blanchet tuned slices to get the fifth Zipperposition slice in a typical run
2022-04-01 desharna merged
2022-04-01 desharna tuned sledgehammer documentation
2022-04-01 wenzelm tuned spelling;
2022-04-01 wenzelm merged
2022-04-01 wenzelm updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
2022-04-01 wenzelm clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
2022-03-31 wenzelm tuned: eliminted do-while for the sake of scala3;
2022-03-31 wenzelm prefer scala 3.0.x, for option "-source 3.0-migration";
2022-03-31 wenzelm tuned: avoid problems with scala3;
2022-03-31 wenzelm tuned: avoid problems with scala3;
2022-03-30 wenzelm provide SCALA_INTERFACES for isabelle_setup;
2022-03-26 wenzelm build Isabelle Scala component from official downloads (for scala-3.1.1);
2022-04-01 desharna added documentation
2022-04-01 desharna merged
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip