#1264 (Aug 23, 2020, 2:01:33 AM)

1. proper name (amending 742d94015918); (detail / hgweb)
2. invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process); (detail / hgweb)
3. avoid odd PIDE markup, notably in kokodi input; (detail / hgweb)
4. clarified names; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. proper treatment of timeout: <= 0 means already timed out, but for $KODKODI/bin/kodkodi it would mean NO timeout; (detail / hgweb)
8. proper treatment of absolute deadline vs. relative timeout; (detail / hgweb)
9. clarified session: no parent image for minor theory imports; (detail / hgweb)
10. removed obsolete created_temp_dir: ISABELLE_TMP is always present for the running Isabelle/ML process; (detail / hgweb)
11. more lemmas (detail / hgweb)
12. proper syntax declaration (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 11 min waiting;
• 1 hr 31 min build duration;
• 2 hr 42 min total from scheduled to completion.