| 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 |
| Wed, 21 Mar 2012 15:19:45 +0100 | wenzelm | basic support for nested local theory targets; | changeset | files |