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

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

clarified signature: avoid case class with mutable state;

tuned;

clarified signature: more explicit types;

merged

tidied some messy old proofs

tuned signature;

merged

tuned signature;

more robust;

clarified signature: more position information via node_name;

tuned signature: avoid name confusion;

more bibtex errors; clarified Bibtex.Chunk.is_malformed (again): see also 9c1389befa56 and 7ee248f19ca9;

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

merged

merged

A few new Sup/Inf lemmas

clarified messages;

tuned signature: follow terminology of VSCode_Resources;

tuned signature;

tuned signature;

more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch; prefer global operations for snapshot() and rendering();

update URL;

clarified signature;