| Wed, 03 Mar 2010 00:33:02 +0100 | wenzelm | cleanup type translations; | file | diff | annotate |
| Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| Tue, 03 Jan 2006 11:32:55 +0100 | haftmann | class now an keyword, quoted where necessary | file | diff | annotate |