#860 (Feb 1, 2019, 12:50:09 AM)

1. NEWS; (detail / hgweb)
2. more accurate _listFiles -- avoid infinite infinite expansion of e.g. "$ISABELLE_HOME"; (detail / hgweb)
3. merged (detail / hgweb)
4. removed left-over test material (amending bb0a354f6b46); (detail / hgweb)
5. updated to polyml-test-1236652ebd55; (detail / hgweb)
6. added option jedit_text_overview for visual appearance (not performance, see also 72216713733a); (detail / hgweb)
7. adapted to a8ee66876a1a; (detail / hgweb)
8. show file-browser favorites more prominently: access to Isabelle resources; (detail / hgweb)
9. tuned -- sort lines; (detail / hgweb)
10. tuned default layout; (detail / hgweb)
11. clarified default layout: global overview left, local document information right; (detail / hgweb)
12. prefer tail-recursive version (despite 4b99b1214034); (detail / hgweb)
13. proper congruence rule for image operator (detail / hgweb)
14. less special syntax: make \<Sum> an ordinary function symbol (detail / hgweb)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.