wenzelm [Mon, 31 Dec 2012 16:56:54 +0100] rev 51671
include user counters as well;
wenzelm [Mon, 31 Dec 2012 16:41:51 +0100] rev 51670
scala mode is already part of jedit-5.0.0;
wenzelm [Mon, 31 Dec 2012 16:16:43 +0100] rev 51669
tuned;
wenzelm [Mon, 31 Dec 2012 15:56:17 +0100] rev 51668
simplified quick start via "isabelle components -I";
wenzelm [Mon, 31 Dec 2012 14:58:21 +0100] rev 51667
tuned signature -- eliminated obsolete Standard_System;
wenzelm [Mon, 31 Dec 2012 13:49:01 +0100] rev 51666
tuned signature;
wenzelm [Mon, 31 Dec 2012 13:34:47 +0100] rev 51665
recovered generic PIDE build;
wenzelm [Mon, 31 Dec 2012 13:20:23 +0100] rev 51664
updated for release;
wenzelm [Mon, 31 Dec 2012 13:16:51 +0100] rev 51663
updated for release;
wenzelm [Mon, 31 Dec 2012 13:08:49 +0100] rev 51662
updated for release;