| Wed, 13 Dec 2017 18:01:22 +0100 | wenzelm | purge more carefully (amending 26f548370e8d); | changeset | files |
| Wed, 13 Dec 2017 17:42:17 +0100 | wenzelm | more error information according to @<Print type of token list@> in pdfweb.tex; | changeset | files |
| Wed, 13 Dec 2017 16:42:02 +0100 | wenzelm | avoid redundant positions; | changeset | files |