| Sun, 05 Jun 2005 11:31:19 +0200 | wenzelm | tuned/updated antiquotations; | file | diff | annotate |
| Tue, 31 May 2005 11:53:11 +0200 | wenzelm | antiquotations: added options short_names, unique_names; | file | diff | annotate |
| Wed, 25 May 2005 09:03:53 +0200 | nipkow | grammar | file | diff | annotate |