wenzelm [Thu, 03 Sep 2009 12:15:39 +0200] rev 34696
tuned;
wenzelm [Thu, 03 Sep 2009 11:52:05 +0200] rev 34695
minor tuning;
wenzelm [Wed, 02 Sep 2009 22:21:14 +0200] rev 34694
unified Swing_Thread.delay_first/last;
wenzelm [Wed, 02 Sep 2009 21:21:54 +0200] rev 34693
sealed Edit;
Change.edits: plain field, plain list -- no reverse;
TheoryView.edits: ListBuffer -- no reverse;
misc tuning;
wenzelm [Tue, 01 Sep 2009 21:05:57 +0200] rev 34692
Isabelle_Process: receiver as Actor -- requires Scheduler.shutdown in the end;
handle_message: plain function Isabelle_Process.parse_message avoids race on process variable in the first place;
wenzelm [Tue, 01 Sep 2009 15:37:05 +0200] rev 34691
option -d: enable debugger;
wenzelm [Tue, 01 Sep 2009 15:12:24 +0200] rev 34690
modernized Isar_Document;
wenzelm [Tue, 01 Sep 2009 13:49:25 +0200] rev 34689
use Linear_Set from Isabelle/Pure.jar;