#1359 (Dec 22, 2017, 9:19:04 PM)

1. store full blob source for the sake of markup_to_XML; (detail / hgweb)
2. PIDE markup for non-theory nodes; (detail / hgweb)
3. discontinued 'display_drafts' command; (detail / hgweb)
4. action "isabelle.draft" for plain-text preview; (detail / hgweb)
5. NEWS; (detail / hgweb)
6. uniform preview for Isabelle/jEdit and Isabelle/VSCode; (detail / hgweb)
7. tuned; (detail / hgweb)
8. clarified URL: unique node name; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. proper title;
    clarified modules; (detail / hgweb)
11. HTML rendering of \<^control> as in Isabelle/jEdit; (detail / hgweb)
12. auto update; (detail / hgweb)
13. clarified modules; (detail / hgweb)
14. proper HTML title; (detail / hgweb)
15. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 43 min build duration;
• 1 hr 48 min total from scheduled to completion.