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 |
Tue, 02 Feb 2010 13:22:36 +0100 | wenzelm | minimal tuning of this slightly dated material; | file | diff | annotate |