#1076 (Apr 12, 2019, 11:17:04 PM)

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

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)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 1 hr 30 min build duration;
• 1 hr 32 min total from scheduled to completion.

• Berlekamp_Zassenhaus