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