#1868 (Jan 21, 2023, 3:40:07 AM)

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

Started by an SCM change

This run spent:

• 2 hr 50 min waiting;
• 1 hr 52 min build duration;
• 4 hr 42 min total from scheduled to completion.