| 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 |
| Wed, 21 Mar 2012 17:25:35 +0100 | wenzelm | basic support for nested contexts including bundles; | changeset | files |
| Wed, 21 Mar 2012 17:16:39 +0100 | wenzelm | tuned messages; | changeset | files |