| 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
|
| Sun, 10 Dec 2017 18:43:08 +0100 |
wenzelm |
removed obsolete option (see 74a1b722507e);
|
changeset |
files
|
| Sun, 10 Dec 2017 18:31:41 +0100 |
wenzelm |
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
|
changeset |
files
|
| Sun, 10 Dec 2017 14:50:44 +0100 |
wenzelm |
removed Emacs legacy;
|
changeset |
files
|