| Wed, 24 Oct 2007 07:19:52 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 22 Oct 2007 21:32:06 +0200 | wenzelm | tuned Nominal entry; | file | diff | annotate |
| Mon, 22 Oct 2007 15:24:55 +0200 | wenzelm | added @{sort}, @{type_syntax} antiquotations; | file | diff | annotate |
| Sun, 21 Oct 2007 14:21:44 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Sun, 21 Oct 2007 02:49:16 +0200 | urbanc | tuned the entry about nominal datatypes | file | diff | annotate |
| Thu, 18 Oct 2007 09:20:55 +0200 | haftmann | localized mono predicate | file | diff | annotate |
| Tue, 16 Oct 2007 23:12:45 +0200 | haftmann | global class syntax | file | diff | annotate |