#771 (Mar 14, 2017, 6:56:10 AM)

1. merged from afp-2016-1 (detail / hgweb)
2. add default Isabelle version (detail / hgweb)
3. regnerate site (detail / hgweb)
4. update submission prose (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 3 min 35 sec build duration;
• 3 min 42 sec total from scheduled to completion.