Sun, 30 Dec 2018 10:30:41 +0100 | Andreas Lochbihler | separate case converter into a separate theory | changeset | files |
Tue, 01 Jan 2019 21:47:27 +0100 | wenzelm | more antiquotations -- less LaTeX macros; | changeset | files |
Tue, 01 Jan 2019 20:57:54 +0100 | wenzelm | retain important whitespace after 'text' that is suppressed, but swallows adjacent whitespace; | changeset | files |