#677 (Jul 3, 2018, 12:50:11 AM)

1. merged (detail / hgweb)
2. Hiding the constant "norm", lest it clash with the norm of a vector space (detail / hgweb)
3. more lemmas from Paulo (detail / hgweb)
4. merged (detail / hgweb)
5. updated for release; (detail / hgweb)
6. Added tag Isabelle2018-RC1 for changeset cf01d04e94d7 (detail / hgweb)
7. fixed (?) LaTeX presentation (detail / hgweb)
8. merged (detail / hgweb)
9. Lots of new algebra theories by Martin Baillon and Paulo Emílio de Vilhena (detail / hgweb)
10. more NEWS; (detail / hgweb)
11. tuned; (detail / hgweb)
12. more robust: avoid dire effect of ui.tweakoptions on hg.known_files; (detail / hgweb)
13. update Sledgehammer docs w.r.t. Vampire (detail / hgweb)
14. added Vampire component (detail / hgweb)
15. added option for noncommercial Vampire (detail / hgweb)

Started by an SCM change

This run spent:

• 9.9 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 19 min total from scheduled to completion.