| 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 |
| Wed, 13 Dec 2017 16:18:40 +0100 | wenzelm | positions as postlude: avoid intrusion of odd %-forms into main tex source; | changeset | files |
| Tue, 12 Dec 2017 18:53:40 +0100 | wenzelm | scan only one line, for more detailed positions; | changeset | files |
| Tue, 12 Dec 2017 17:53:59 +0100 | wenzelm | purge more thoroughly; | changeset | files |
| Tue, 12 Dec 2017 17:46:22 +0100 | wenzelm | option document_positions; | changeset | files |
| Tue, 12 Dec 2017 17:47:23 +0100 | wenzelm | clarified file pattern; | changeset | files |