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
bulwahn [Wed, 19 May 2010 18:24:09 +0200] rev 36998
changing operations for accessing data to work with contexts
bulwahn [Wed, 19 May 2010 18:24:08 +0200] rev 36997
removed unnecessary Thm.transfer in the predicate compiler
bulwahn [Wed, 19 May 2010 18:24:07 +0200] rev 36996
changing compilation to work only with contexts; adapting quickcheck