Wed, 02 Jun 2010 12:28:42 +0200 | blanchet | give more helpful error message | changeset | files |
Fri, 04 Jun 2010 16:42:26 +0200 | haftmann | first proposal for a announcement | changeset | files |
Fri, 04 Jun 2010 16:02:46 +0200 | krauss | NEWS (more strict internal axioms/defs format) | changeset | files |