Started 4 days 7 hr ago
Took 1 hr 17 min on workermtahpc

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

Changes
  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.
Revision: 04f492d004fab6a6e83dd014d82d42b0f6bc02f8