Thu, 03 Mar 2011 15:36:54 +0100 observe standard header format;
wenzelm [Thu, 03 Mar 2011 15:36:54 +0100] rev 41883
observe standard header format;
Thu, 03 Mar 2011 15:19:20 +0100 removed spurious 'unused_thms' (cf. 1a65b780bd56);
wenzelm [Thu, 03 Mar 2011 15:19:20 +0100] rev 41882
removed spurious 'unused_thms' (cf. 1a65b780bd56);
Thu, 03 Mar 2011 15:18:05 +0100 isatest cygwin-poly-e: new memory management of polyml-svn could be more stable;
wenzelm [Thu, 03 Mar 2011 15:18:05 +0100] rev 41881
isatest cygwin-poly-e: new memory management of polyml-svn could be more stable;
Thu, 03 Mar 2011 11:36:10 +0100 merged
berghofe [Thu, 03 Mar 2011 11:36:10 +0100] rev 41880
merged
Thu, 03 Mar 2011 11:15:50 +0100 merged
berghofe [Thu, 03 Mar 2011 11:15:50 +0100] rev 41879
merged
Thu, 03 Mar 2011 11:01:42 +0100 - Made sure that sort_defs is aware of constants introduced by add_type_def
berghofe [Thu, 03 Mar 2011 11:01:42 +0100] rev 41878
- Made sure that sort_defs is aware of constants introduced by add_type_def - add_def now compares Isabelle types rather than SPARK types to ensure that type abbreviations are taken into account
Thu, 03 Mar 2011 11:20:48 +0100 mention new Nitpick options
blanchet [Thu, 03 Mar 2011 11:20:48 +0100] rev 41877
mention new Nitpick options
Thu, 03 Mar 2011 11:20:48 +0100 simplify "need" option's syntax
blanchet [Thu, 03 Mar 2011 11:20:48 +0100] rev 41876
simplify "need" option's syntax
Thu, 03 Mar 2011 11:20:48 +0100 renamed "preconstr" option "need"
blanchet [Thu, 03 Mar 2011 11:20:48 +0100] rev 41875
renamed "preconstr" option "need"
Thu, 03 Mar 2011 10:55:41 +0100 finally remove upper_bound_finite_set
hoelzl [Thu, 03 Mar 2011 10:55:41 +0100] rev 41874
finally remove upper_bound_finite_set
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip