lib/texinputs/isabelle.sty
Sun, 18 Oct 2015 20:28:29 +0200 wenzelm clarified control antiquotations: decode control symbol to get name;
Sat, 17 Oct 2015 21:15:10 +0200 wenzelm added 'paragraph', 'subparagraph';
Sat, 17 Oct 2015 19:47:34 +0200 wenzelm more explicit output of list items;
less more (0) -30 -10 -3 tip