support specific connection types, for additional operations;

isabelle update -u cite;

more accurate root.bib, based on original \bibitem entries in root.tex…

Fixed the bib issues and supplied a root.bib based on the one in…

merged

Added the missing .bib file

proper bib context for formal citations, although there is no document;

back to unchecked \cite: entry lacks .bib file;

back to unchecked \cite: entry lacks .bib file;

back to unchecked \cite: there is entry lacks .bib file;

more correct and complete bibliography;

tuned;

proper position for semantic completion: avoid duplicate quotes;

tuned signature;

clarified signature;

clarified signature;

proper positions for Isabelle/ML, instead of Isabelle/Scala;

dismantle special treatment of citations in Isabelle/Scala;

obsolete (see also 01c9b3033036);

more direct check of bibtex entries via Isabelle/Scala;

support Session argument for Scala.Fun;

proper citations for unselected theories, notably for the default selection of…

tuned signature;

more robust theory_source -- in contrast to node_source from fffb978dd683…

tuned;

clarified signature;

tuned;

proper citation;

merged

added lemmas image_grounding_of_cls_grounding_of_cls and…

isabelle update -u cite;

merged

clarified "selected" status;

merged

uniform keywords for embedded syntax;

tuned signature;

clarified signature;

clarified signature;

more complete index;

parse citations from raw source, without formal context;

tuned signature: fewer warnings in IntelliJ IDEA;

tuned comments;

tuned messages;

tuned GUI;

clarified signature;

proper line positions for PIDE document;

more efficient, thanks to persistent lazy data in Document.Node;

tuned;

merged

HOL/Library/BigO is obsolete

tidy up of this messy and obsolete theory

clse branch

merged

consistent casing in \cite

ETTS: updated bibliography and citations

merged

more correct and complete citations;

unchecked \cite for unidentifiable citation;

proper @{cite} syntax;

isabelle update -u cite;

clarified file positions: retain original source path;

backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e;

clarified formal check of bibtex entries (again), see also 86a099f896fc and…

Updating Risk Free Lending Entry

tuned;

tuned GUI;

permissive treatment of citations before the theory header: avoid too many…

more detailed Program_Progress / Log_Progress: each program gets its own log…

clarified documentation: avoid odd speculations about PIDE;

added bibliography to ROOT;

CTR and ETTS: several amendments (fact names, printing, presentation)

tuned;

clarified modules;

more complete Bibtex database;

merged

isabelle update -u cite;

proper theory context for formal citations;

clarified treatment of cite macro name;

more robust: rely on PIDE markup instead of regex guess;

explicit legacy_feature;

more index entries;

updated documentation;

clarified names;

tuned;

tuned;

update documentation: prefer control-symbol-cartouche form of "cite"…

clarified options and defaults: avoid accidental changed of base logic due to…

proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;

proper language context;

more robust;

tuned whitespace;

basic support for update_cite_commands;

more operations: use proper constants;

proper session_options (amending da13da82f6f9);

tuned signature;

clarified types;

tuned;

clarified signature: more explicit types;

more explicit language context;