#1683 (Apr 2, 2022, 1:09:37 AM)

1. clarified formatting, for the sake of scala3; (detail / hgweb)
2. merged (detail / hgweb)
3. tuned formatting; (detail / hgweb)
4. clarified formatting, for the sake of scala3; (detail / hgweb)
5. tuned (detail / hgweb)
6. tuned (detail / hgweb)
7. merge (detail / hgweb)
8. tuned slices to get the fifth Zipperposition slice in a typical run (detail / hgweb)
9. merged (detail / hgweb)
10. tuned sledgehammer documentation (detail / hgweb)
11. tuned spelling; (detail / hgweb)
12. merged (detail / hgweb)
13. updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2; (detail / hgweb)
14. clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3; (detail / hgweb)
15. tuned: eliminted do-while for the sake of scala3; (detail / hgweb)
16. prefer scala 3.0.x, for option "-source 3.0-migration"; (detail / hgweb)
17. tuned: avoid problems with scala3; (detail / hgweb)
18. tuned: avoid problems with scala3; (detail / hgweb)
19. provide SCALA_INTERFACES for isabelle_setup; (detail / hgweb)
20. build Isabelle Scala component from official downloads (for scala-3.1.1); (detail / hgweb)
21. added documentation (detail / hgweb)
22. merged (detail / hgweb)
23. tuned sledehammer to return best succeeding preplay method (detail / hgweb)
24. expanded sledgehammer's expect option with some_preplayed (detail / hgweb)
25. added preplay results to sledgehammer_output (detail / hgweb)
26. tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but Z3 (detail / hgweb)

Started by an SCM change

This run spent:

• 19 min waiting;
• 1 hr 36 min build duration;
• 1 hr 56 min total from scheduled to completion.