isabelle: Changelog

blanchet [Fri, 26 Feb 2010 16:50:09 +0100] rev 35387

merged

blanchet [Fri, 26 Feb 2010 16:49:46 +0100] rev 35386

more work on the new monotonicity stuff in Nitpick

blanchet [Thu, 25 Feb 2010 16:33:39 +0100] rev 35385

improved precision of infinite "shallow" datatypes in Nitpick; e.g. strings used for variable names, instead of an opaque type

blanchet [Thu, 25 Feb 2010 10:08:44 +0100] rev 35384

cosmetics

bulwahn [Fri, 26 Feb 2010 13:29:43 +0100] rev 35383

merged

bulwahn [Fri, 26 Feb 2010 09:49:00 +0100] rev 35382

merged

bulwahn [Thu, 25 Feb 2010 15:36:38 +0100] rev 35381

adding no_topmost_reordering as new option to the code_pred command

bulwahn [Thu, 25 Feb 2010 14:01:34 +0100] rev 35380

adopting Mutabelle to quickcheck reporting; improving quickcheck reporting

bulwahn [Thu, 25 Feb 2010 10:04:50 +0100] rev 35379

added quiet option to quickcheck command

bulwahn [Thu, 25 Feb 2010 09:28:01 +0100] rev 35378

added basic reporting of test cases to quickcheck

isabelle