| Wed, 21 Mar 2012 23:41:58 +0100 | wenzelm | actually expose target context; | file | diff | annotate |
| Wed, 21 Mar 2012 23:26:35 +0100 | wenzelm | more explicit Toplevel.open_target/close_target; | file | diff | annotate |
| Wed, 21 Mar 2012 21:24:13 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 21 Mar 2012 21:06:31 +0100 | wenzelm | optional 'includes' element for long theorem statements; | file | diff | annotate |
| Wed, 21 Mar 2012 17:25:35 +0100 | wenzelm | basic support for nested contexts including bundles; | file | diff | annotate |
| Tue, 20 Mar 2012 20:00:13 +0100 | wenzelm | basic support for bundled declarations; | file | diff | annotate |