#651 (Dec 18, 2016, 4:20:12 AM)

1. merge from afp-2016-1 (detail / hgweb)
2. update release dates; add statistics to repo (detail / hgweb)
3. proper imports according to Isabelle/79e9587dbcc; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 2 min 57 sec build duration;
• 3 min 4 sec total from scheduled to completion.