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 |
Sat, 01 Jul 2000 19:42:08 +0200 | wenzelm | tuned print_rules; | changeset | files |
Sat, 01 Jul 2000 19:41:11 +0200 | wenzelm | removed help_attributes; | changeset | files |