| Wed, 10 Nov 2010 15:47:56 +0100 | wenzelm | eliminated obsolete heading category -- superseded by heading_level; | file | diff | annotate |
| Wed, 10 Nov 2010 15:41:29 +0100 | wenzelm | added missing Keyword.THY_SCHEMATIC_GOAL; | file | diff | annotate |
| Sun, 08 Aug 2010 19:36:31 +0200 | wenzelm | explicitly distinguish Output.status (essential feedback) vs. Output.report (useful markup); | file | diff | annotate |
| Sat, 07 Aug 2010 22:09:52 +0200 | wenzelm | simplified type XML.Tree: embed Markup directly, avoid slightly odd triple; | file | diff | annotate |
| Sat, 15 May 2010 22:05:49 +0200 | wenzelm | renamed Outer_Keyword to Keyword (in Scala); | file | diff | annotate | base |