#180 (Oct 25, 2016, 12:50:09 AM)

1. merged (detail / hgweb)
2. version provided by web server; (detail / hgweb)
3. proper default Windows ACLs, e.g. relevant when the bundle is placed into the root directory of a volume; (detail / hgweb)
4. unused; (detail / hgweb)
5. tuned documentation (detail / hgweb)
6. document limitations (detail / hgweb)
7. more accurate error message (detail / hgweb)
8. robustness (detail / hgweb)
9. document transfer_prover_eq and friend_of_corec_simps (detail / hgweb)
10. additional user-specified simp (naturality) rules used in friend_of_corec (detail / hgweb)
11. apply transfer_prover after folding relator_eq (detail / hgweb)
12. merged (detail / hgweb)
13. more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions); (detail / hgweb)
14. remove old target: it is on the classpath and may break scalac; (detail / hgweb)
15. updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1 (detail / hgweb)
16. retain Admin component for isabelle tool invocation; (detail / hgweb)
17. tuned; (detail / hgweb)
18. more robust; (detail / hgweb)
19. discontinued unused / untested distinction of separate PIDE modules; (detail / hgweb)
20. proper Admin tool; (detail / hgweb)
21. tuned message; (detail / hgweb)
22. updated for release; (detail / hgweb)
23. updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7; (detail / hgweb)
24. Merge (detail / hgweb)
25. "subgoal" examples (detail / hgweb)
26. Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 1 hr 4 min build duration;
• 1 hr 4 min total from scheduled to completion.