#916 (Apr 13, 2019, 12:57:52 AM)

1. merged (detail / hgweb)
2. updated documentation; (detail / hgweb)
3. avoid Isabelle symbols in URL; (detail / hgweb)
4. formal URLs; (detail / hgweb)
5. tuned spacing; (detail / hgweb)
6. modernized tags: default scope excludes proof; (detail / hgweb)
7. report document tags as seen in the text (not the active tag of Thy_Output.present_thy); (detail / hgweb)
8. support "tag" marker with scope; (detail / hgweb)
9. tidying up messy proofs about group element order (detail / hgweb)
10. merged (detail / hgweb)
11. simpler and stronger proofs (detail / hgweb)

Started by an SCM change

This run spent:

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