Thu, 08 Oct 2009 15:59:15 +0200 | haftmann | corrected syntax diagrams for styles | file | diff | annotate |
Thu, 08 Oct 2009 15:16:13 +0200 | haftmann | new generalized concept for term styles | file | diff | annotate |
Mon, 09 Mar 2009 21:25:33 +0100 | wenzelm | markup antiquotation options; | file | diff | annotate |