#1287 (Sep 26, 2020, 12:50:10 AM)

1. merged (detail / hgweb)
2. reverted the substitution here (detail / hgweb)
3. merged (detail / hgweb)
4. fixed some remarkably ugly proofs (detail / hgweb)
5. de-applying and tidying (detail / hgweb)
6. follow Phabricator update 2020 Week 37; (detail / hgweb)
7. clarified defaults for nitpick; (detail / hgweb)
8. tuned nitpick message: more like quickcheck; (detail / hgweb)
9. clarified; (detail / hgweb)
10. evaluate Scala via running Isabelle/Scala; (detail / hgweb)
11. more robust: avoid spurious line breaks that might confuse the scala interpreter; (detail / hgweb)
12. clarified signature: proper eval/print via interpret; (detail / hgweb)
13. clarified name; (detail / hgweb)
14. factored out typedef material (detail / hgweb)

Started by an SCM change

This run spent:

• 9.5 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 29 min total from scheduled to completion.