#698 (Jul 30, 2018, 1:32:14 AM)

1. merged (detail / hgweb)
2. Added tag Isabelle2018-RC3 for changeset 71aa5a9128c2 (detail / hgweb)
3. proper return code (true) if file is absent; (detail / hgweb)
4. clarified word syntax for the sake of control symbols, e.g. \<^term>; (detail / hgweb)
5. updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4; (detail / hgweb)
6. more robust: do not defer potentially slow/big lazy facts to the very end; (detail / hgweb)
7. more robust: potentially a workaround for spurious HOL build problems seen by Larry Paulson; (detail / hgweb)
8. tuned; (detail / hgweb)
9. eliminated non-monotomnic Lazy.is_pending: Result may return to Expr due to Interrupt; (detail / hgweb)
10. unused; (detail / hgweb)
11. removed junk; (detail / hgweb)
12. clarified documentation; (detail / hgweb)
13. added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination); (detail / hgweb)
14. proper adjust_maxidx: assms could have maxidx >= 0, e.g. from command "subgoal premises"; (detail / hgweb)
15. proper maxidx: if x does not occur in A, its maxidx could get lost; (detail / hgweb)
16. tuned; (detail / hgweb)
17. more flexible session selection as in "isabelle jedit"; (detail / hgweb)
18. updated to jdk-8u181; (detail / hgweb)

Started by an SCM change

This run spent:

• 42 min waiting;
• 1 hr 14 min build duration;
• 1 hr 56 min total from scheduled to completion.