isabelle: Changelog

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

haftmann [Fri, 26 Feb 2010 10:57:35 +0100] rev 35377

merged

haftmann [Fri, 26 Feb 2010 10:48:21 +0100] rev 35376

use abstract code cerficates for bare code theorems

isabelle