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