| Tue, 14 Aug 2007 23:22:58 +0200 | wenzelm | type mode: models certification mode (default, syntax, abbrev); | changeset | files |
| Tue, 14 Aug 2007 23:22:55 +0200 | wenzelm | replaced certify_typ_syntax/abbrev by certify_typ_mode; | changeset | files |
| Tue, 14 Aug 2007 23:22:53 +0200 | wenzelm | tuned order; | changeset | files |