wenzelm [Tue, 20 Jan 2009 23:13:54 +0100] rev 34496
renamed getNextCommandContaining to find_command_at;
more de-camelization;
wenzelm [Tue, 20 Jan 2009 22:55:45 +0100] rev 34495
Command: added name field and toString;
wenzelm [Tue, 20 Jan 2009 22:30:54 +0100] rev 34494
misc tuning -- de-camelization;
wenzelm [Tue, 20 Jan 2009 22:29:56 +0100] rev 34493
case class Changed;
wenzelm [Tue, 20 Jan 2009 22:29:41 +0100] rev 34492
Token: plain val kind;
wenzelm [Tue, 20 Jan 2009 20:32:04 +0100] rev 34491
Command: turned content into plain val;
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;