#1711 (Jun 26, 2018, 3:29:09 PM)

1. merge from afp-2017 (detail / hgweb)
2. strongly encourage, but do not prescribe one session per entry (detail / hgweb)
3. new entry: Pell (detail / hgweb)
4. New entry Localization_Ring (detail / hgweb)
5. New article Projective_Geometry (detail / hgweb)

Started by an SCM change

This run spent:

• 5.6 sec waiting;
• 1 hr 3 min build duration;
• 1 hr 3 min total from scheduled to completion.