| Sat, 01 Jul 2000 19:48:04 +0200 | wenzelm | * Isar: removed 'help' command, which hasn't been too helpful anyway; | changeset | files |
| Sat, 01 Jul 2000 19:45:43 +0200 | wenzelm | removed help; | changeset | files |
| Sat, 01 Jul 2000 19:45:23 +0200 | wenzelm | removed help_methods; | changeset | files |
| Sat, 01 Jul 2000 19:44:57 +0200 | wenzelm | removed "help"; | changeset | files |
| Sat, 01 Jul 2000 19:44:16 +0200 | wenzelm | added options "eta_contract", "long_names"; | changeset | files |
| Sat, 01 Jul 2000 19:42:50 +0200 | wenzelm | added print_trans_rules, print_antiquotations; | changeset | files |
| Sat, 01 Jul 2000 19:42:25 +0200 | wenzelm | removed help; | changeset | files |