11 months ago wenzelm 2017-12-14 NEWS;
11 months ago wenzelm 2017-12-14 merged
11 months ago wenzelm 2017-12-13 purge more carefully (amending 26f548370e8d); recovered 'display_drafts';
11 months ago wenzelm 2017-12-13 more error information according to @<Print type of token list@> in pdfweb.tex;
11 months ago wenzelm 2017-12-13 avoid redundant positions;
11 months ago wenzelm 2017-12-13 positions as postlude: avoid intrusion of odd %-forms into main tex source;
11 months ago wenzelm 2017-12-12 scan only one line, for more detailed positions;
11 months ago wenzelm 2017-12-12 purge more thoroughly;
11 months ago wenzelm 2017-12-12 option document_positions;
11 months ago wenzelm 2017-12-12 clarified file pattern;
11 months ago wenzelm 2017-12-12 ensure separation of TeX tokens;
11 months ago wenzelm 2017-12-12 simplified positions -- line is also human-readable in generated .tex file;
11 months ago wenzelm 2017-12-12 tuned message;
11 months ago wenzelm 2017-12-12 avoid excessive whitespace between antiquotations and text;
11 months ago wenzelm 2017-12-11 updated documentation;
11 months ago wenzelm 2017-12-11 more robust range on preceding comment-line; no range for blank lines; avoid recursive output_text/mark_range; clarified Latex.output_token (no range) vs. Thy_Output.present_token (with range);
11 months ago wenzelm 2017-12-11 proper file;
11 months ago wenzelm 2017-12-11 clarified file positions;
11 months ago wenzelm 2017-12-11 more operations;
11 months ago wenzelm 2017-12-10 tuned messages;
11 months ago wenzelm 2017-12-10 clean log file on Windows;
11 months ago wenzelm 2017-12-10 avoid println with its extra CR on Windows;
11 months ago wenzelm 2017-12-10 removed obsolete option (see 74a1b722507e);
11 months ago wenzelm 2017-12-10 re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
11 months ago wenzelm 2017-12-10 removed Emacs legacy;
11 months ago wenzelm 2017-12-10 more robust Windows support;
11 months ago wenzelm 2017-12-10 more explicit latex errors;
11 months ago wenzelm 2017-12-08 some support for LaTeX;
11 months ago nipkow 2017-12-13 added lemmas
11 months ago nipkow 2017-12-13 added min_list and arg_min_list
11 months ago nipkow 2017-12-13 made arg_min_on definition
11 months ago nipkow 2017-12-13 added lemmas
11 months ago Manuel Eberl 2017-12-12 Moved analysis material from AFP
11 months ago eberlm 2017-12-11 Some facts on the Mangoldt function
11 months ago haftmann 2017-12-08 dedicated theory for group closure
11 months ago wenzelm 2017-12-08 clarified error;
11 months ago wenzelm 2017-12-08 removed somewhat pointless warning;
11 months ago wenzelm 2017-12-08 uniform use of original theory;
11 months ago wenzelm 2017-12-08 implicit quick_and_dirty as for Toplevel.begin_proof/Proof.global_skip_proof;
11 months ago haftmann 2017-12-07 avoid smt proofs in distribution
11 months ago wenzelm 2017-12-07 more robust;
11 months ago wenzelm 2017-12-07 merged
11 months ago wenzelm 2017-12-07 clarified document preparation vs. skip_proofs;
11 months ago nipkow 2017-12-07 "important" annotations
11 months ago nipkow 2017-12-07 canonical name
11 months ago wenzelm 2017-12-07 tuned output in isar-ref manual;
11 months ago wenzelm 2017-12-07 obsolete (used to be part of old src/Pure/codegen.ML);
11 months ago wenzelm 2017-12-06 just one session for bulky HOL-Analysis documents;
11 months ago wenzelm 2017-12-06 more default tags;
11 months ago wenzelm 2017-12-06 merged
11 months ago wenzelm 2017-12-06 prefer control symbol antiquotations;
11 months ago wenzelm 2017-12-06 more robust, e.g. when Sidekick produces multi-selection;
11 months ago wenzelm 2017-12-06 prefer control symbol antiquotations;
11 months ago wenzelm 2017-12-06 more embedded cartouche arguments; more uniform LaTeX output for control symbols;
11 months ago wenzelm 2017-12-06 name mangling for Latex macros; tuned signature;
11 months ago nipkow 2017-12-06 removed (un)important tags again to make latex happy
11 months ago nipkow 2017-12-06 initial version of Analysis document
11 months ago nipkow 2017-12-06 tuned
11 months ago wenzelm 2017-12-05 merged
11 months ago wenzelm 2017-12-05 more documentation;