| 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 |