Thu, 03 Mar 2011 15:56:17 +0100 re-interpret ProofGeneralPgip.changecwd as Thy_Load.set_master_path, presuming that this is close to the intended semantics;
wenzelm [Thu, 03 Mar 2011 15:56:17 +0100] rev 41885
re-interpret ProofGeneralPgip.changecwd as Thy_Load.set_master_path, presuming that this is close to the intended semantics;
Thu, 03 Mar 2011 15:46:02 +0100 modernized imports;
wenzelm [Thu, 03 Mar 2011 15:46:02 +0100] rev 41884
modernized imports;
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
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip