| Fri, 23 Aug 2013 15:36:54 +0200 | wenzelm | discontinued unused antiquotation blocks; | file | diff | annotate |
| Tue, 13 Aug 2013 20:34:46 +0200 | wenzelm | discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end; | file | diff | annotate |
| Wed, 12 Sep 2012 12:09:40 +0200 | wenzelm | discontinued experiment with literal replacement text in PDF (cf. b646316f8b3c, 2ff10e613689); | file | diff | annotate |