wenzelm [Tue, 20 Jan 2009 13:56:55 +0100] rev 34486
tuned handling of accumulated results;
wenzelm [Mon, 19 Jan 2009 23:29:44 +0100] rev 34485
joined Document with ProofDocument;
misc tuning;
wenzelm [Mon, 19 Jan 2009 21:58:38 +0100] rev 34484
eliminated explicit method equals, which is always behind == / != anyway in Scala;
wenzelm [Mon, 19 Jan 2009 21:38:50 +0100] rev 34483
superficial tuning;
wenzelm [Mon, 19 Jan 2009 21:04:30 +0100] rev 34482
turned Token.Kind into Enumeration;
wenzelm [Mon, 19 Jan 2009 20:33:26 +0100] rev 34481
replaced type parameter C by Command (thanks to globally simultaneous scope);
wenzelm [Mon, 19 Jan 2009 15:56:58 +0100] rev 34480
simplified implicit convertion Int => Position;
wenzelm [Fri, 16 Jan 2009 23:00:24 +0100] rev 34479
merged
wenzelm [Fri, 16 Jan 2009 16:54:01 +0100] rev 34478
removed jEdit/build-support (belongs to src distribution);
wenzelm [Fri, 16 Jan 2009 22:57:47 +0100] rev 34477
IsabelleProcess.parse_message (message markup within Scala layer);