Wed, 04 Mar 2009 10:52:47 +0100 | haftmann | explicit error message for `improper` instances lacking explicit instance parameter constants | changeset | files |
Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | changeset | files |
Wed, 04 Mar 2009 11:05:02 +0100 | blanchet | Merge. | changeset | files |