wenzelm [Thu, 20 May 2010 13:54:31 +0200] rev 37008
more systematic treatment of physical document wrt. font size etc.;
eliminated (crude) double buffering;
tuned;
wenzelm [Thu, 20 May 2010 11:44:41 +0200] rev 37007
tuned;
wenzelm [Thu, 20 May 2010 11:36:30 +0200] rev 37006
general Isabelle_System.try_read;
wenzelm [Thu, 20 May 2010 10:43:46 +0200] rev 37005
explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State];
wenzelm [Thu, 20 May 2010 10:31:20 +0200] rev 37004
inverted "Freeze" to "Follow", which is the default;
update unconditionally;
wenzelm [Wed, 19 May 2010 21:18:02 +0200] rev 37003
basic controls to freeze/update prover results;
wenzelm [Wed, 19 May 2010 18:05:34 +0200] rev 37002
show fully detailed protocol messages;
bulwahn [Thu, 20 May 2010 07:36:50 +0200] rev 37001
merged
bulwahn [Thu, 20 May 2010 07:34:45 +0200] rev 37000
deactivated timing of infering modes
bulwahn [Wed, 19 May 2010 18:24:09 +0200] rev 36999
adapting examples