#307 (Apr 26, 2017, 12:50:09 AM)

1. meta_digest without accidental source positions (amending 1544e61e5314): avoid spurious rebuild of unrelated sessions after editing ROOT; (detail / hgweb)
2. Fixed LaTeX issue (detail / hgweb)
3. New material from PNT proof, as well as more default [simp] declarations. Also removed duplicate theorems about geometric series (detail / hgweb)
4. instance for polynomial rings with characteristic zero (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.