isabelle: Changelog

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;

wenzelm [Tue, 29 Sep 2015 16:58:33 +0200] rev 61280

tuned GUI;

wenzelm [Tue, 29 Sep 2015 16:45:54 +0200] rev 61279

proper event;

wenzelm [Tue, 29 Sep 2015 16:28:02 +0200] rev 61278

tuned GUI;

wenzelm [Tue, 29 Sep 2015 15:37:37 +0200] rev 61277

build session within running jEdit;

isabelle