Changes

Summary

1. tuned;
2. clarified modules;
3. merged
4. more complete Bibtex database;
5. proper theory context for formal citations;
6. isabelle update -u cite;
7. clarified treatment of cite macro name;
8. explicit legacy_feature;
9. more robust: rely on PIDE markup instead of regex guess;
10. more index entries;
11. updated documentation;
12. clarified names;
13. tuned;
14. clarified options and defaults: avoid accidental changed of base logic due to augment_options(update_options);
15. update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;
16. tuned;
17. proper language context;
18. proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;
19. tuned whitespace;
20. more robust;
21. basic support for update_cite_commands;
22. more operations: use proper constants;
23. proper session_options (amending da13da82f6f9);
24. tuned signature;
25. tuned;
26. clarified types;
27. more explicit language context;
28. clarified signature: more explicit types;
29. support embedded syntax, for use with control symbols;
30. tuned;
31. tuned;
32. clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;
33. more "cite" antiquotations;
34. clarified signature: more generic operations;
35. clarified check: this could be \nocite;
36. avoid confusion of markup element vs. property names;
37. clarified Latex markup: optional cite "location" consists of nested document text;
38. more explicit latex markup;
39. follow recent changes of Sledgehammer defaults, as 0a46b3dbd5ad exposes a hint in the source text;
40. One messy, messy proof