| Wed, 21 Mar 2012 23:41:58 +0100 | wenzelm | actually expose target context; | changeset | files |
| Wed, 21 Mar 2012 23:26:35 +0100 | wenzelm | more explicit Toplevel.open_target/close_target; | changeset | files |
| Wed, 21 Mar 2012 21:24:13 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 21 Mar 2012 21:06:31 +0100 | wenzelm | optional 'includes' element for long theorem statements; | changeset | files |