proper thread context (amending 01a7265db76b) -- at the danger of blocking the…

more robust: avoid detour via somewhat fragile Node.Name.path;

clarified generic path operations;

more flexible: implicit support for Windows;

clarified output;

tuned signature;

tuned;

Further cleaning up of messy proofs

More tidying

merged

reorganisation and simplification of theorems about transcendental functions

merged

tuned signature;

support asynchronous presentation commands, but not for "no_update" / "Keep"…

tuned whitespace;

clarified signature;

tuned;

clarified signature;

tuned;

discontinued somewhat pointless exception FAILURE with its "alt_state", which…

tuned --- more robust ML patterns;

tuned;

tuned signature, following Isabelle/947510ce4e36;

adapted to Isabelle/25900fbea7ad;

tuned signature, for the sake of AFP/Isabelle_C;

merged

more uniform report of Markup.language_path;

omit pointless guard: ultimately observed by Isabelle_Process.report_message;

clarified modules;

tuned signature;

tuned;

tuned signature;

tuned;

tuned;

tuned output;

merged

Tidied some messy proofs

tuned output;

clarified modules: avoid duplication;

merged

support for generic File_Format.parse_data, with persistent result in document…

omit warning: somewhat pointless and out-of-context;

clarified signature: avoid case class with mutable state;

tuned;

clarified signature: more explicit types;

tidied some messy old proofs

merged

tuned signature;

merged

tuned signature;

more robust;

tuned signature: avoid name confusion;

clarified signature: more position information via node_name;

more bibtex errors;

clarified signature: internalize errors (but: the parser rarely fails);

tuned signature;

clarified signature: more explicit types;

clarified buffer_state: not synchronized, but exclusively owned by GUI thread;

merged

removed old lemma names

adapted to Isabelle/b61ad889dffa

removed Restricted_Predicates.transp_on following the introduction of…

merged

merged

A few new Sup/Inf lemmas

clarified messages;

tuned signature: follow terminology of VSCode_Resources;

tuned signature;

more robust Document.Pending_Edits: cover all nodes simulataneously, and thus…

tuned signature;

update URL;

tuned;

clarified signature;

tuned;

tuned;

tuned;

tuned;

clarified signature: more explicit types;

merged

adapted to Isabelle/d33fc5228aae

fixed proof following Isabelle/66cae055ac7b

merged

merged

used transp_on in assumptions of lemmas Multiset.bex_(least|greatest)_element

strengthened and renamed lemma trans_converse and added lemma…

added lemma trans_on_lex_prod[simp]

strengthened and renamed trans_reflclI

strengthened and renamed transp_reflclp

strengthened and renamed lemmas preorder.transp_(ge|gr|le|less)

added lemmas trans_on_subset and transp_on_subset

added lemmas trans_onD and transp_onD

added lemmas trans_onI and transp_onI

added lemma transp_on_trans_on_eq[pred_set_conv]

fixed code-generation failure

added predicates trans_on and transp_on and redefined trans and transp to be…

only show sessions with document setup;

tuned;

proper node name instead of not base tex_name (amending 2fd0c33fe440);

proper migrate_name between different kinds of Resources, notably for Windows;

merged