more operations;

tuned;

recovered Options.default_markup, e.g. for src/Doc/antiquote_setup.ML (amending 16519cd83ed4);

tuned;

clarified signature;

clarified signature;

dedicated case option for code generation to Scala

minor performance tuning, notably for Library.fold_string etc.;

clarified file name;

purge log files -- avoid old errors;

expose bibtex errors;

proper exception;

proper \isakeeptag (amending 13b5c3ff1954);

tuned;

NEWS;

merged

purge more carefully (amending 26f548370e8d); recovered 'display_drafts';

more error information according to @<Print type of token list@> in pdfweb.tex;

avoid redundant positions;

positions as postlude: avoid intrusion of odd %-forms into main tex source;

scan only one line, for more detailed positions;

purge more thoroughly;

option document_positions;

clarified file pattern;

ensure separation of TeX tokens;

simplified positions -- line is also human-readable in generated .tex file;

tuned message;

avoid excessive whitespace between antiquotations and text;

updated documentation;

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);

proper file;

clarified file positions;

more operations;

tuned messages;

clean log file on Windows;

avoid println with its extra CR on Windows;

removed obsolete option (see 74a1b722507e);

re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;

removed Emacs legacy;

more robust Windows support;

more explicit latex errors;

some support for LaTeX;

added lemmas

added min_list and arg_min_list

made arg_min_on definition

added lemmas

Moved analysis material from AFP

Some facts on the Mangoldt function