isabelle: Changelog

wenzelm [Wed, 30 Sep 2015 20:48:59 +0200] rev 61292

tuned GUI;

wenzelm [Wed, 30 Sep 2015 20:02:39 +0200] rev 61291

uniform treatment of bootstrap directories; Isabelle_System.init() includes Cygwin.init(), e.g. for situations without isabelle.Main; tuned;

wenzelm [Wed, 30 Sep 2015 14:49:39 +0200] rev 61290

more robust system init (again), in case the plugin is started without isabelle.Main;

wenzelm [Wed, 30 Sep 2015 14:37:21 +0200] rev 61289

tuned message;

wenzelm [Wed, 30 Sep 2015 14:32:26 +0200] rev 61288

clarified modules; more conventional GUI threading;

paulson <lp15@cam.ac.uk> [Wed, 30 Sep 2015 17:17:53 +0100] rev 61287

Merge

paulson <lp15@cam.ac.uk> [Wed, 30 Sep 2015 17:09:12 +0100] rev 61286

Dead wood removal

isabelle