| Thu, 03 Jun 2010 22:31:59 +0200 | wenzelm | discontinued obsolete Isar.context() -- long superseded by @{context}; | file | diff | annotate |
| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |