isabelle: Changelog

wenzelm [Tue, 05 Dec 2017 15:29:37 +0100] rev 67138

system option for default command tags;

wenzelm [Tue, 05 Dec 2017 15:19:32 +0100] rev 67137

tuned;

wenzelm [Tue, 05 Dec 2017 14:03:10 +0100] rev 67136

tuned signature;

Manuel Eberl <eberlm@in.tum.de> [Tue, 05 Dec 2017 12:14:36 +0100] rev 67135

Moved material from AFP to Analysis/Number_Theory

wenzelm [Mon, 04 Dec 2017 23:10:52 +0100] rev 67134

merged

wenzelm [Mon, 04 Dec 2017 23:07:44 +0100] rev 67133

NEWS;

wenzelm [Mon, 04 Dec 2017 22:56:46 +0100] rev 67132

added action to make antiquoted cartouche;

wenzelm [Mon, 04 Dec 2017 22:54:31 +0100] rev 67131

tuned signature;

wenzelm [Mon, 04 Dec 2017 22:52:16 +0100] rev 67130

tuned signature;

wenzelm [Mon, 04 Dec 2017 21:23:56 +0100] rev 67129

added GUI_Thread.future (similar to JFX_GUI.Thread.future): useful for experimentation with Scala console in Isabelle/jEdit;

isabelle