#1294 (Oct 3, 2020, 12:50:05 AM)

1. merged (detail / hgweb)
2. clarified installed files; (detail / hgweb)
3. build Isabelle E prover component from official downloads; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. updated for coming release; (detail / hgweb)
6. updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020; (detail / hgweb)
7. clarified platforms; (detail / hgweb)
8. updated to opam-2.0.7;
   support arm64-linux; (detail / hgweb)
9. merged (detail / hgweb)
10. fixed a bunch of ugly proofs (detail / hgweb)
11. Add more tacing to sledgehammer_isar_trace (detail / hgweb)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.