isabelle: Changelog

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;

wenzelm [Tue, 29 Sep 2015 13:54:04 +0200] rev 61276

clarified modules;

haftmann [Sun, 27 Sep 2015 10:11:15 +0200] rev 61275

monomorphization of divmod wrt. code generation avoids costly dictionary unpacking at runtime

isabelle