#1337 (Nov 21, 2020, 3:19:25 AM)

1. more standard imports; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. generate theory HTML in Isabelle/Scala;
   discontinued HTML support in Isabelle/ML; (detail / hgweb)
4. merged (detail / hgweb)
5. Add support for CVC4 1.8 to Sledgehammer (detail / hgweb)
6. proper meta_digest: avoid non-portable position information; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 29 min waiting;
• 1 hr 29 min build duration;
• 3 hr 58 min total from scheduled to completion.