#695 (Jul 23, 2018, 12:50:07 AM)

1. back to post-release mode -- after fork point; (detail / hgweb)
2. Added tag Isabelle2018-RC2 for changeset 14167c321d22 (detail / hgweb)
3. tuned; (detail / hgweb)
4. eliminated spurious Unicode; (detail / hgweb)
5. merged (detail / hgweb)
6. updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables); (detail / hgweb)
7. Moved Real_Asymp manual (detail / hgweb)
8. merged (detail / hgweb)
9. updated to polyml-5.7.1-7 (see also afa7c5a239e6); (detail / hgweb)
10. merged (detail / hgweb)
11. de-applying (detail / hgweb)
12. avoid Unicode conflict with \<pounds>; (detail / hgweb)
13. fixing a theorem statement, etc. (detail / hgweb)
14. merged (detail / hgweb)
15. de-applying and removing junk (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.