| Wed, 25 Aug 2010 22:47:04 +0200 | haftmann | merged | changeset | files |
| Wed, 25 Aug 2010 16:33:05 +0200 | haftmann | preliminary implementation of hierarchical module name space | changeset | files |
| Wed, 25 Aug 2010 16:33:05 +0200 | haftmann | tuned | changeset | files |
| Fri, 27 Aug 2010 12:40:20 +0200 | wenzelm | proper context for various Thy_Output options, via official configuration options in ML and Isar; | changeset | files |
| Fri, 27 Aug 2010 00:09:56 +0200 | wenzelm | Thy_Output: options based on proper context, although Thy_Output.add_wrapper still allows to maintain old-style wrapper combinators (setmp_CRITICAL etc.); | changeset | files |
| Fri, 27 Aug 2010 00:02:32 +0200 | wenzelm | eliminated old 'local' command; | changeset | files |