Skip to content
Started 10 days ago
Took 4 hr 44 min on workermta1

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

Changes
  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.
Revision: 19a351eee86521370463e0226480b8c7ca209e9f