Tue, 12 Dec 2017 17:47:23 +0100 | wenzelm | clarified file pattern; | changeset | files |
Tue, 12 Dec 2017 17:47:00 +0100 | wenzelm | ensure separation of TeX tokens; | changeset | files |
Tue, 12 Dec 2017 16:12:48 +0100 | wenzelm | simplified positions -- line is also human-readable in generated .tex file; | changeset | files |
Tue, 12 Dec 2017 13:34:11 +0100 | wenzelm | tuned message; | changeset | files |
Tue, 12 Dec 2017 12:35:01 +0100 | wenzelm | avoid excessive whitespace between antiquotations and text; | changeset | files |
Mon, 11 Dec 2017 18:39:24 +0100 | wenzelm | updated documentation; | changeset | files |
Mon, 11 Dec 2017 17:52:05 +0100 | wenzelm | more robust range on preceding comment-line; | changeset | files |