| 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 |