Thu, 11 Oct 2001 21:25:45 +0200 | wenzelm | * Isar/Pure: fixed 'token_translation' command; | changeset | files |
Thu, 11 Oct 2001 19:22:15 +0200 | wenzelm | added try; | changeset | files |
Thu, 11 Oct 2001 19:22:00 +0200 | wenzelm | added certify_tyname; | changeset | files |