2017-12-18 traytel 2017-12-18 a conditional paramitrecity prover
2017-12-18 traytel 2017-12-18 removed debug output
2017-12-17 traytel 2017-12-17 made tactics more robust
2017-12-16 wenzelm 2017-12-16 tuned;
2017-12-16 wenzelm 2017-12-16 more markup; multiple error output;
2017-12-16 wenzelm 2017-12-16 added document antiquotation @{session name}; renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
2017-12-16 wenzelm 2017-12-16 more accurate parse_nat/parse_int: avoid corner cases of Int.fromString (e.g. "1.0");
2017-12-16 wenzelm 2017-12-16 tuned;
2017-12-16 wenzelm 2017-12-16 disallow theory name "ROOT";
2017-12-16 wenzelm 2017-12-16 PIDE markup for session ROOT files;
2017-12-16 wenzelm 2017-12-16 tuned;
2017-12-16 wenzelm 2017-12-16 more operations;
2017-12-16 wenzelm 2017-12-16 tuned;
2017-12-16 wenzelm 2017-12-16 recovered Options.default_markup, e.g. for src/Doc/antiquote_setup.ML (amending 16519cd83ed4);
2017-12-16 wenzelm 2017-12-16 tuned;
2017-12-16 wenzelm 2017-12-16 clarified signature;
2017-12-16 wenzelm 2017-12-16 clarified signature;
2017-12-14 haftmann 2017-12-14 dedicated case option for code generation to Scala
2017-12-14 wenzelm 2017-12-14 minor performance tuning, notably for Library.fold_string etc.;
2017-12-14 wenzelm 2017-12-14 clarified file name;
2017-12-14 wenzelm 2017-12-14 purge log files -- avoid old errors;
2017-12-14 wenzelm 2017-12-14 expose bibtex errors;
2017-12-14 wenzelm 2017-12-14 proper exception;
2017-12-14 wenzelm 2017-12-14 proper \isakeeptag (amending 13b5c3ff1954);
2017-12-14 wenzelm 2017-12-14 tuned;
2017-12-14 wenzelm 2017-12-14 NEWS;
2017-12-14 wenzelm 2017-12-14 merged
2017-12-13 wenzelm 2017-12-13 purge more carefully (amending 26f548370e8d); recovered 'display_drafts';
2017-12-13 wenzelm 2017-12-13 more error information according to @<Print type of token list@> in pdfweb.tex;
2017-12-13 wenzelm 2017-12-13 avoid redundant positions;
2017-12-13 wenzelm 2017-12-13 positions as postlude: avoid intrusion of odd %-forms into main tex source;
2017-12-12 wenzelm 2017-12-12 scan only one line, for more detailed positions;
2017-12-12 wenzelm 2017-12-12 purge more thoroughly;
2017-12-12 wenzelm 2017-12-12 option document_positions;
2017-12-12 wenzelm 2017-12-12 clarified file pattern;
2017-12-12 wenzelm 2017-12-12 ensure separation of TeX tokens;
2017-12-12 wenzelm 2017-12-12 simplified positions -- line is also human-readable in generated .tex file;
2017-12-12 wenzelm 2017-12-12 tuned message;
2017-12-12 wenzelm 2017-12-12 avoid excessive whitespace between antiquotations and text;
2017-12-11 wenzelm 2017-12-11 updated documentation;
2017-12-11 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);
2017-12-11 wenzelm 2017-12-11 proper file;
2017-12-11 wenzelm 2017-12-11 clarified file positions;
2017-12-11 wenzelm 2017-12-11 more operations;
2017-12-10 wenzelm 2017-12-10 tuned messages;
2017-12-10 wenzelm 2017-12-10 clean log file on Windows;
2017-12-10 wenzelm 2017-12-10 avoid println with its extra CR on Windows;
2017-12-10 wenzelm 2017-12-10 removed obsolete option (see 74a1b722507e);
2017-12-10 wenzelm 2017-12-10 re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
2017-12-10 wenzelm 2017-12-10 removed Emacs legacy;
2017-12-10 wenzelm 2017-12-10 more robust Windows support;
2017-12-10 wenzelm 2017-12-10 more explicit latex errors;
2017-12-08 wenzelm 2017-12-08 some support for LaTeX;
2017-12-13 nipkow 2017-12-13 added lemmas
2017-12-13 nipkow 2017-12-13 added min_list and arg_min_list
2017-12-13 nipkow 2017-12-13 made arg_min_on definition
2017-12-13 nipkow 2017-12-13 added lemmas
2017-12-12 Manuel Eberl 2017-12-12 Moved analysis material from AFP
2017-12-11 eberlm 2017-12-11 Some facts on the Mangoldt function
2017-12-08 haftmann 2017-12-08 dedicated theory for group closure