Wed, 09 Jun 2004 18:52:11 +0200 | wenzelm | * Document preparation: antiquotations provide option 'locale=NAME'; | changeset | files |
Wed, 09 Jun 2004 18:51:26 +0200 | wenzelm | tuned comment; | changeset | files |
Wed, 09 Jun 2004 18:51:16 +0200 | wenzelm | updated/tuned identifier syntax; | changeset | files |