#508 (Dec 23, 2017, 1:21:30 AM)

1. Merge (detail / hgweb)
2. Merge (detail / hgweb)
3. new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product (detail / hgweb)
4. more symbols; (detail / hgweb)
5. tuned; (detail / hgweb)
6. store full blob source for the sake of markup_to_XML; (detail / hgweb)
7. PIDE markup for non-theory nodes; (detail / hgweb)
8. discontinued 'display_drafts' command; (detail / hgweb)
9. action "isabelle.draft" for plain-text preview; (detail / hgweb)
10. NEWS; (detail / hgweb)
11. uniform preview for Isabelle/jEdit and Isabelle/VSCode; (detail / hgweb)
12. tuned; (detail / hgweb)
13. clarified URL: unique node name; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. proper title;
    clarified modules; (detail / hgweb)
16. HTML rendering of \<^control> as in Isabelle/jEdit; (detail / hgweb)
17. auto update; (detail / hgweb)
18. clarified modules; (detail / hgweb)
19. proper HTML title; (detail / hgweb)
20. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 31 min waiting;
• 1 hr 31 min build duration;
• 2 hr 3 min total from scheduled to completion.