isabelle: Changelog

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

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

Merge

paulson <lp15@cam.ac.uk> [Wed, 30 Sep 2015 16:36:42 +0100] rev 61284

real_of_nat_Suc is now a simprule

blanchet [Wed, 30 Sep 2015 13:58:46 +0200] rev 61283

updated docs

wenzelm [Tue, 29 Sep 2015 23:43:35 +0200] rev 61282

clarified Isabelle_System.init; clarified GUI.init_laf; clarified modules; tuned signature;

wenzelm [Tue, 29 Sep 2015 18:39:55 +0200] rev 61281

tuned;

isabelle