| 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 |
| Mon, 11 Dec 2017 17:49:47 +0100 | wenzelm | proper file; | changeset | files |
| Mon, 11 Dec 2017 14:10:41 +0100 | wenzelm | clarified file positions; | changeset | files |
| Mon, 11 Dec 2017 14:10:12 +0100 | wenzelm | more operations; | changeset | files |
| Sun, 10 Dec 2017 20:50:09 +0100 | wenzelm | tuned messages; | changeset | files |
| Sun, 10 Dec 2017 20:31:14 +0100 | wenzelm | clean log file on Windows; | changeset | files |