Thu, 03 Mar 2011 11:01:42 +0100 | berghofe | - Made sure that sort_defs is aware of constants introduced by add_type_def | changeset | files |
Thu, 03 Mar 2011 11:20:48 +0100 | blanchet | mention new Nitpick options | changeset | files |
Thu, 03 Mar 2011 11:20:48 +0100 | blanchet | simplify "need" option's syntax | changeset | files |
Thu, 03 Mar 2011 11:20:48 +0100 | blanchet | renamed "preconstr" option "need" | changeset | files |
Thu, 03 Mar 2011 10:55:41 +0100 | hoelzl | finally remove upper_bound_finite_set | changeset | files |
Thu, 03 Mar 2011 15:59:44 +1100 | kleing | separate settings for afp test | changeset | files |
Wed, 02 Mar 2011 15:51:22 +0100 | blanchet | added missing spaces in output | changeset | files |