tuned;

Restored correct spacing for set comprehensions

less redundant;

more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);

more robust treatment of conflicts with existing Unicode text;

tuned whitespace;

no check for bibtex entries from other sessions;

clarified signature;

more accurate message patterns;

prefer formal citations; more accurate bibtex entries;

proper bibtex entries;

formal check of @{cite} bibtex entries -- only in batch-mode session builds;

clarified check, notably for bibtex theory (amending 5f082b1fa9fa);

NEWS;

proper check for imports, not just ROOT entries;

tuned signature;

implicit thy_load context for bibtex files (VSCode);

bibtex theory is always required and thus eventually consolidated;

implicit thy_load context for bibtex files;

clarified signature: prefer Document.Node.Name.is_bibtex;

avoid spurious noise: Prover IDE is meant to check for errors;

clarified signature;

avoid clash with special files in HTML output;

unused;

tuned signature;

prefer existing Resources.check_path;

more accurate bibtex entries;

added command 'bibtex_file' (for PIDE interaction only);

clarified default position for empty message pos;

spelling

Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume

fewer warnings;

clarified positions;

check bibtex database on ML side -- for semantic PIDE editing; tuned signature;

clarified directories;

more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);

check bibtex database: errors and warnings;

more symbols;

Merge

Merge

new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product

more symbols;

tuned;

store full blob source for the sake of markup_to_XML;

PIDE markup for non-theory nodes;

discontinued 'display_drafts' command;

action "isabelle.draft" for plain-text preview;

NEWS;

uniform preview for Isabelle/jEdit and Isabelle/VSCode;

tuned;

clarified URL: unique node name;

clarified signature;

proper title; clarified modules;

HTML rendering of \<^control> as in Isabelle/jEdit;

auto update;

clarified modules;

proper HTML title;

tuned signature;

tuned output;

merged

isabelle.preview presents bibtex database files as well;

clarified signature;

isabelle.preview presents auxiliary text files as well;

tuned signature;

tuned signature;

bibtex HTML output via external tool;

merged

tuned op's

tuned op's

tuned op's

tuned op's

tuned op's

tuned op's

tuned;

Some lemmas on complex numbers and coprimality

merged

tuned op's

tuned op's

tuned op's

tuned op's

tuned op's

updated URL;

isabelle update_cartouches -c -t;

have 'try0' display results faster

a conditional paramitrecity prover

removed debug output

made tactics more robust

tuned;

more markup; multiple error output;

added document antiquotation @{session name}; renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;

more accurate parse_nat/parse_int: avoid corner cases of Int.fromString (e.g. "1.0");

tuned;

disallow theory name "ROOT";

PIDE markup for session ROOT files;

tuned;

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;