#962 (Jul 18, 2019, 12:50:08 AM)

1. merged; (detail / hgweb)
2. updated to jedit_build-20190717: support more brackets; (detail / hgweb)
3. updated to isabelle_fonts-20190717; (detail / hgweb)
4. redundant; (detail / hgweb)
5. tuned; (detail / hgweb)
6. added \<llangle>, \<rrangle>;
   discontinued special rendering for old {* *}; (detail / hgweb)
7. tuned doc isar-ref; (detail / hgweb)
8. added \<bbar>; (detail / hgweb)
9. added \<sqdot>; (detail / hgweb)
10. fixed renaming issues (detail / hgweb)
11. merged (detail / hgweb)
12. a few new lemmas and a bit of tidying (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.