| 2009-03-04 | haftmann | explicit error message for `improper` instances lacking explicit instance parameter constants | changeset | files |
| 2009-03-04 | blanchet | Merge. | changeset | files |
| 2009-03-04 | blanchet | Merge. | changeset | files |
| 2009-03-04 | blanchet | Merge. | changeset | files |
| 2009-03-04 | blanchet | Made Refute.norm_rhs public, so I can use it in Nitpick. | changeset | files |
| 2009-03-01 | blanchet | Added "nitpick_const_def" attribute, for overriding the definition axiom of a constant. | changeset | files |
| 2009-02-24 | blanchet | Eliminated ZCHAFF_VERSION configuration variable, since zChaff's output format is identical in all versions since March 2003 (at least), and also because it forces users who want to use the latest versions to lie about the version number. | changeset | files |
| Loading... | |||