| Mon, 12 Dec 2005 15:37:05 +0100 | haftmann | improvements in class and eq handling | changeset | files |
| Mon, 12 Dec 2005 15:36:46 +0100 | haftmann | added dummy 'print' to non-polyml systems | changeset | files |
| Sun, 11 Dec 2005 11:57:01 +0100 | urbanc | ISAR-fied some proofs | changeset | files |
| Sun, 11 Dec 2005 01:21:26 +0100 | urbanc | completed the sn proof and changed the manual | changeset | files |
| Sat, 10 Dec 2005 00:11:35 +0100 | urbanc | changed the types in accordance with Florian's changes | changeset | files |
| Fri, 09 Dec 2005 15:25:52 +0100 | haftmann | substantial improvements for class code generation | changeset | files |
| Fri, 09 Dec 2005 15:25:29 +0100 | haftmann | improved extraction interface | changeset | files |