Sat, 25 Jun 2011 18:24:52 +0200 | discontinued generic XML markup -- this is for XHTML with <span/> elements; | file | diff | annotate |
Sat, 25 Jun 2011 18:15:36 +0200 | type classes: entity markup instead of old-style token markup; | file | diff | annotate |
Sat, 25 Jun 2011 17:17:49 +0200 | clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete; | file | diff | annotate |
Sun, 19 Jun 2011 15:22:58 +0200 | discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax); | file | diff | annotate |
Sat, 18 Jun 2011 15:11:33 +0200 | proper place for config files; | file | diff | annotate | base |