| Sun, 27 Nov 2011 13:12:42 +0100 | wenzelm | refined "literal" document style, with some correspondence to actual text source; | file | diff | annotate |
| Tue, 03 May 2011 21:44:05 +0200 | wenzelm | use existing \<hyphen>; | file | diff | annotate |
| Tue, 03 May 2011 21:29:25 +0200 | wenzelm | simplified rail configuration; | file | diff | annotate |
| Tue, 03 May 2011 15:35:07 +0200 | wenzelm | treat underscore as in IsarRef; | file | diff | annotate |
| Sun, 07 Nov 2010 22:26:25 +0100 | wenzelm | more literal appearance of antiqopen/antiqclose; | file | diff | annotate |
| Sun, 17 Oct 2010 20:25:36 +0100 | wenzelm | use continental paragraph style, which works better with mixture of (in)formal text; | file | diff | annotate |