| Tue, 20 Jul 2010 08:54:21 +0200 | haftmann | datatype classes are abstract | file | diff | annotate |
| Mon, 19 Jul 2010 11:55:44 +0200 | haftmann | distinguish different classes of const syntax | file | diff | annotate |
| Wed, 14 Jul 2010 15:08:02 +0200 | haftmann | use generic description slot for formal code checking | file | diff | annotate |