Build #939 (Sep 14, 2023, 3:12:11 PM)

1. added first proof reconstruction test for Sledgehammer (detail / hgweb)
2. added vampire configurations for testing (detail / hgweb)
3. some hints on managed installations (detail / hgweb)
4. prefer cartouches over quotes for clarity of resulting document (detail / hgweb)
5. A little reorganisation (detail / hgweb)
6. post-release updates; (detail / hgweb)
7. merged (detail / hgweb)
8. Added tag Isabelle2023 for changeset b5f3d1051b13 (detail / hgweb)
9. tuned; (detail / hgweb)
10. misc tuning; (detail / hgweb)
11. documentation for the "Document" panel in Isabelle/jEdit; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.7 sec waiting;
• 4 hr 44 min build duration;
• 4 hr 45 min total from scheduled to completion.