Summary
- clarified formatting, for the sake of scala3;
- merged
- tuned formatting;
- clarified formatting, for the sake of scala3;
- tuned
- tuned
- merge
- tuned slices to get the fifth Zipperposition slice in a typical run
- merged
- tuned sledgehammer documentation
- tuned spelling;
- merged
- updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
- clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
- tuned: eliminted do-while for the sake of scala3;
- prefer scala 3.0.x, for option "-source 3.0-migration";
- tuned: avoid problems with scala3;
- tuned: avoid problems with scala3;
- provide SCALA_INTERFACES for isabelle_setup;
- build Isabelle Scala component from official downloads (for scala-3.1.1);
- added documentation
- merged
- tuned sledehammer to return best succeeding preplay method
- expanded sledgehammer's expect option with some_preplayed
- added preplay results to sledgehammer_output
- tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but Z3