isabelle: Changelog

wenzelm [Mon, 24 Oct 2016 15:16:31 +0200] rev 64376

more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions);

wenzelm [Mon, 24 Oct 2016 15:00:13 +0200] rev 64375

remove old target: it is on the classpath and may break scalac;

wenzelm [Mon, 24 Oct 2016 14:47:46 +0200] rev 64374

updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1

wenzelm [Mon, 24 Oct 2016 14:37:37 +0200] rev 64373

retain Admin component for isabelle tool invocation;

wenzelm [Mon, 24 Oct 2016 14:10:53 +0200] rev 64372

tuned;

wenzelm [Mon, 24 Oct 2016 14:05:22 +0200] rev 64371

more robust;

wenzelm [Mon, 24 Oct 2016 12:16:12 +0200] rev 64370

discontinued unused / untested distinction of separate PIDE modules;

wenzelm [Mon, 24 Oct 2016 12:01:36 +0200] rev 64369

proper Admin tool;

wenzelm [Mon, 24 Oct 2016 11:48:32 +0200] rev 64368

tuned message;

wenzelm [Mon, 24 Oct 2016 11:42:39 +0200] rev 64367

updated for release;

isabelle