Changes

Summary

1. more correct and complete bibliography;
2. tuned signature;
3. tuned;
4. proper position for semantic completion: avoid duplicate quotes;
5. clarified signature;
6. clarified signature;
7. proper positions for Isabelle/ML, instead of Isabelle/Scala;
8. dismantle special treatment of citations in Isabelle/Scala;
9. more direct check of bibtex entries via Isabelle/Scala;
10. support Session argument for Scala.Fun; more robust check of citations within the Pure theory before the theory header;
11. obsolete (see also 01c9b3033036);
12. proper citations for unselected theories, notably for the default selection of the GUI panel;
13. tuned signature;
14. more robust theory_source -- in contrast to node_source from fffb978dd683: theory name is more reliable than Document.Node.Name, explicit unicode_symbols;
15. clarified signature;
16. tuned;
17. tuned;