| Thu, 14 Dec 2017 21:40:43 +0100 |
wenzelm |
minor performance tuning, notably for Library.fold_string etc.;
|
changeset |
files
|
| Thu, 14 Dec 2017 21:31:54 +0100 |
wenzelm |
clarified file name;
|
changeset |
files
|
| Thu, 14 Dec 2017 21:15:04 +0100 |
wenzelm |
purge log files -- avoid old errors;
|
changeset |
files
|
| Thu, 14 Dec 2017 21:09:41 +0100 |
wenzelm |
expose bibtex errors;
|
changeset |
files
|
| Thu, 14 Dec 2017 14:34:56 +0100 |
wenzelm |
proper exception;
|
changeset |
files
|
| 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
|
| 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
|
| Fri, 08 Dec 2017 19:25:47 +0000 |
haftmann |
dedicated theory for group closure
|
changeset |
files
|
| Fri, 08 Dec 2017 17:57:29 +0100 |
wenzelm |
clarified error;
|
changeset |
files
|
| Fri, 08 Dec 2017 16:02:44 +0100 |
wenzelm |
removed somewhat pointless warning;
|
changeset |
files
|
| Fri, 08 Dec 2017 15:03:54 +0100 |
wenzelm |
uniform use of original theory;
|
changeset |
files
|
| Fri, 08 Dec 2017 14:39:52 +0100 |
wenzelm |
implicit quick_and_dirty as for Toplevel.begin_proof/Proof.global_skip_proof;
|
changeset |
files
|
| Thu, 07 Dec 2017 18:44:04 +0000 |
haftmann |
avoid smt proofs in distribution
|
changeset |
files
|
| Thu, 07 Dec 2017 20:55:03 +0100 |
wenzelm |
more robust;
|
changeset |
files
|
| Thu, 07 Dec 2017 20:05:08 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 07 Dec 2017 19:36:48 +0100 |
wenzelm |
clarified document preparation vs. skip_proofs;
|
changeset |
files
|
| Thu, 07 Dec 2017 18:04:52 +0100 |
nipkow |
"important" annotations
|
changeset |
files
|
| Thu, 07 Dec 2017 15:48:50 +0100 |
nipkow |
canonical name
|
changeset |
files
|
| Thu, 07 Dec 2017 11:14:32 +0100 |
wenzelm |
tuned output in isar-ref manual;
|
changeset |
files
|
| Thu, 07 Dec 2017 11:12:55 +0100 |
wenzelm |
obsolete (used to be part of old src/Pure/codegen.ML);
|
changeset |
files
|
| Wed, 06 Dec 2017 21:43:20 +0100 |
wenzelm |
just one session for bulky HOL-Analysis documents;
|
changeset |
files
|
| Wed, 06 Dec 2017 21:30:26 +0100 |
wenzelm |
more default tags;
|
changeset |
files
|
| Wed, 06 Dec 2017 21:01:01 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 06 Dec 2017 20:43:09 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
changeset |
files
|
| Wed, 06 Dec 2017 19:34:59 +0100 |
wenzelm |
more robust, e.g. when Sidekick produces multi-selection;
|
changeset |
files
|
| Wed, 06 Dec 2017 18:59:33 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
changeset |
files
|