#565 (Oct 24, 2016, 5:11:01 PM)

1. additional user-specified simp (naturality) rules used in friend_of_corec (detail / hgweb)
2. apply transfer_prover after folding relator_eq (detail / hgweb)
3. merged (detail / hgweb)
4. more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions); (detail / hgweb)
5. remove old target: it is on the classpath and may break scalac; (detail / hgweb)
6. updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1 (detail / hgweb)
7. retain Admin component for isabelle tool invocation; (detail / hgweb)
8. tuned; (detail / hgweb)
9. more robust; (detail / hgweb)
10. discontinued unused / untested distinction of separate PIDE modules; (detail / hgweb)
11. proper Admin tool; (detail / hgweb)
12. tuned message; (detail / hgweb)
13. updated for release; (detail / hgweb)
14. updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 1 hr 2 min build duration;
• 1 hr 7 min total from scheduled to completion.