| 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
|
| 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
|
| Sun, 10 Dec 2017 14:45:12 +0100 |
wenzelm |
more robust Windows support;
|
changeset |
files
|
| Sun, 10 Dec 2017 14:29:14 +0100 |
wenzelm |
more explicit latex errors;
|
changeset |
files
|
| Fri, 08 Dec 2017 23:43:58 +0100 |
wenzelm |
some support for LaTeX;
|
changeset |
files
|
| Wed, 13 Dec 2017 19:28:19 +0100 |
nipkow |
added lemmas
|
changeset |
files
|
| Wed, 13 Dec 2017 13:25:14 +0100 |
nipkow |
added min_list and arg_min_list
|
changeset |
files
|
| Wed, 13 Dec 2017 11:44:11 +0100 |
nipkow |
made arg_min_on definition
|
changeset |
files
|
| Wed, 13 Dec 2017 09:04:43 +0100 |
nipkow |
added lemmas
|
changeset |
files
|
| Tue, 12 Dec 2017 10:01:14 +0100 |
Manuel Eberl |
Moved analysis material from AFP
|
changeset |
files
|
| Mon, 11 Dec 2017 17:28:32 +0100 |
eberlm |
Some facts on the Mangoldt function
|
changeset |
files
|