| Thu, 02 Dec 2010 16:52:52 +0100 | wenzelm | configuration option "show_abbrevs" supersedes print mode "no_abbrevs", with inverted meaning; | file | diff | annotate |
| Mon, 29 Nov 2010 11:22:40 +0100 | wenzelm | added document antiquotation @{file}; | file | diff | annotate |