Thu, 29 Nov 2012 10:56:59 +0100 further update and clarification of the all-important README_REPOSITORY;
wenzelm [Thu, 29 Nov 2012 10:56:59 +0100] rev 50281
further update and clarification of the all-important README_REPOSITORY;
Thu, 29 Nov 2012 10:45:25 +0100 more uniform ML statistics;
wenzelm [Thu, 29 Nov 2012 10:45:25 +0100] rev 50280
more uniform ML statistics;
Wed, 28 Nov 2012 19:19:39 +0100 merged
wenzelm [Wed, 28 Nov 2012 19:19:39 +0100] rev 50279
merged
Wed, 28 Nov 2012 12:25:43 +0100 improved readability
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50278
improved readability
Wed, 28 Nov 2012 12:25:43 +0100 tweaked calculation of sledgehammer messages
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50277
tweaked calculation of sledgehammer messages
Wed, 28 Nov 2012 12:25:43 +0100 adapted sledgehammer warnings
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50276
adapted sledgehammer warnings
Wed, 28 Nov 2012 12:25:43 +0100 fixed case split preplaying
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50275
fixed case split preplaying
Wed, 28 Nov 2012 12:25:43 +0100 fixed preplaying of case splits; incorperated new name of structure: Isabelle_Markup -> Markup
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50274
fixed preplaying of case splits; incorperated new name of structure: Isabelle_Markup -> Markup
Wed, 28 Nov 2012 12:25:43 +0100 preplay case splits
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50273
preplay case splits
Wed, 28 Nov 2012 12:25:43 +0100 added warning when shrinking proof without preplaying
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50272
added warning when shrinking proof without preplaying
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip