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