| Wed, 11 Oct 2006 22:56:10 +0200 | wenzelm | increased heap size for polyml-4.9.1; | changeset | files |
| Wed, 11 Oct 2006 22:55:23 +0200 | wenzelm | tuned Toplevel.begin_local_theory; | changeset | files |
| Wed, 11 Oct 2006 22:55:22 +0200 | wenzelm | exit_local_theory: pass interactive flag; | changeset | files |