Thu, 14 Dec 2017 14:28:27 +0100 |
wenzelm |
proper \isakeeptag (amending 13b5c3ff1954);
|
changeset |
files
|
Thu, 14 Dec 2017 14:27:37 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 14 Dec 2017 11:38:20 +0100 |
wenzelm |
NEWS;
|
changeset |
files
|
Thu, 14 Dec 2017 11:24:26 +0100 |
wenzelm |
merged
|
changeset |
files
|
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
|
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
|
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
|
Sun, 10 Dec 2017 20:29:00 +0100 |
wenzelm |
avoid println with its extra CR on Windows;
|
changeset |
files
|