Sun, 18 Oct 2015 20:28:29 +0200 | wenzelm | clarified control antiquotations: decode control symbol to get name; | file | diff | annotate |
Sat, 17 Oct 2015 21:15:10 +0200 | wenzelm | added 'paragraph', 'subparagraph'; | file | diff | annotate |
Sat, 17 Oct 2015 19:47:34 +0200 | wenzelm | more explicit output of list items; | file | diff | annotate |