more complete Bibtex database;

proper theory context for formal citations;

isabelle update -u cite;

clarified treatment of cite macro name;

explicit legacy_feature;

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

more index entries;

updated documentation;

clarified names;

tuned;

clarified options and defaults: avoid accidental changed of base logic due to augment_options(update_options);

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

tuned;

proper language context;

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

tuned whitespace;

more robust;

basic support for update_cite_commands;

more operations: use proper constants;

proper session_options (amending da13da82f6f9);

tuned signature;

tuned;

clarified types;

more explicit language context;

clarified signature: more explicit types;

support embedded syntax, for use with control symbols;

tuned;

tuned;

clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;

more "cite" antiquotations;