| Wed, 15 Feb 2006 21:35:11 +0100 | wenzelm | check_text: Toplevel.node option; | changeset | files |
| Wed, 15 Feb 2006 21:35:09 +0100 | wenzelm | init/exit no longer change the theory (no naming); | changeset | files |
| Wed, 15 Feb 2006 21:35:09 +0100 | wenzelm | evaluate antiquotes depending on Toplevel.node option; | changeset | files |
| Wed, 15 Feb 2006 21:35:07 +0100 | wenzelm | simplified presentation commands; | changeset | files |