Build #202 (Jul 18, 2019 12:09:10 PM)

1. added forgotten declaration provided by Florian Haftmann (detail / hgweb)
2. merged; (detail / hgweb)
3. updated to jedit_build-20190717: support more brackets; (detail / hgweb)
4. updated to isabelle_fonts-20190717; (detail / hgweb)
5. redundant; (detail / hgweb)
6. tuned; (detail / hgweb)
7. added \<llangle>, \<rrangle>;
   discontinued special rendering for old {* *}; (detail / hgweb)
8. tuned doc isar-ref; (detail / hgweb)
9. added \<bbar>; (detail / hgweb)
10. added \<sqdot>; (detail / hgweb)
11. fixed renaming issues (detail / hgweb)
12. merged (detail / hgweb)
13. a few new lemmas and a bit of tidying (detail / hgweb)
14. support for a soft-type system within the Isabelle logical framework; (detail / hgweb)
15. tuned (detail / hgweb)
16. proper theory naming after join (reset due to merge_data); (detail / hgweb)
17. support join of anonymous theory nodes, e.g. relevant for parallel theory construction; (detail / hgweb)
18. clarified history stage: allow independent updates that are merged later; (detail / hgweb)
19. support abstract syntax for proof terms (see src/Pure/Proofs/proof_syntax.ML); (detail / hgweb)
20. proper quasi-total merge (detail / hgweb)
21. made LaTeX happy (detail / hgweb)
22. streamlined setup for linear algebra, particularly removed redundant rule declarations (detail / hgweb)
23. tuned (detail / hgweb)
24. tuned (detail / hgweb)
25. even more appropriate fact name (detail / hgweb)
26. more correct indicator (detail / hgweb)

Started by an SCM change

This run spent:

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