| Wed, 31 Aug 2005 15:46:47 +0200 | wenzelm | added no_body_context; | changeset | files |
| Wed, 31 Aug 2005 15:46:46 +0200 | wenzelm | use_dir: added copy-dump option; | changeset | files |
| Wed, 31 Aug 2005 15:46:45 +0200 | wenzelm | present_text: Toplevel.no_body_context prevents use of wrong context in interaction; | changeset | files |
| Wed, 31 Aug 2005 15:46:44 +0200 | wenzelm | refer to theory instead of low-level tsig; | changeset | files |
| Wed, 31 Aug 2005 15:46:43 +0200 | wenzelm | tuned classes_arities_of; | changeset | files |
| Wed, 31 Aug 2005 15:46:40 +0200 | wenzelm | refer to theory instead of low-level tsig; | changeset | files |