#1458 (Oct 20, 2019, 9:59:07 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. merged (detail / hgweb)
2. more robust hybrid treatment of Pure, notably for Isabelle/Dedukti; (detail / hgweb)
3. clarified signature: name of standard_proof is authentic, otherwise empty; (detail / hgweb)
4. clarified expand_proof/expand_name: allow more detailed control via thm_header;
   export_standard_proofs: authentic theorem names in "print" format; (detail / hgweb)
5. option to export standardized proof terms (not scalable); (detail / hgweb)
6. more kinds, notably for Isabelle/MMT; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 3 sec waiting;
• 4 min 20 sec build duration;
• 6 min 24 sec total from scheduled to completion.