#1752 (Aug 18, 2022, 12:51:08 AM)

1. tweaked generation of Isar proofs (detail / hgweb)
2. tweak Sledgehammer's slicing mechanism -- updated Zipperposition's slices and make them half as long as other provers' to pack more of them in 30 s (detail / hgweb)
3. tuned comments; (detail / hgweb)
4. updated to sumatra_pdf-3.4.6; (detail / hgweb)
5. proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 1 hr 46 min build duration;
• 1 hr 46 min total from scheduled to completion.