| Thu, 09 Oct 2003 18:13:32 +0200 | skalberg | Added support for making constants final, that is, ensuring that no | changeset | files |
| Wed, 08 Oct 2003 16:02:54 +0200 | skalberg | Added axiomatic specifications (ax_specification). | changeset | files |
| Wed, 08 Oct 2003 15:58:15 +0200 | paulson | now accepts DOS and Mac line breaks | changeset | files |