wenzelm [Tue, 20 Jan 2009 20:05:21 +0100] rev 34490
use Symbol.Interpretation from IsabelleSystem instance;
wenzelm [Tue, 20 Jan 2009 18:23:40 +0100] rev 34489
replaced java.util.Property by plain association list;
handle_result: do not parse ignored messages;
tuned;
wenzelm [Tue, 20 Jan 2009 18:20:50 +0100] rev 34488
use IsabelleProcess.parse_message (with global Isabelle.system instance);
wenzelm [Tue, 20 Jan 2009 18:20:19 +0100] rev 34487
use Symbol.Interpretation from IsabelleSystem instance;
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;