#1136 (Oct 6, 2017, 10:45:30 AM)

1. merge from afp-2017 (detail / hgweb)
2. recent developments on Perron Frobenius from AFP-devel (detail / hgweb)
3. update release list (detail / hgweb)
4. add nunchaku expect to submission instructions (detail / hgweb)
5. sitegen patch by Lars for new entry dependency checking
   
   might still have some issues with isabelle tool resolution in Darwin.
   To be refactored later. (detail / hgweb)
6. add entries that were devel-only (detail / hgweb)
7. using AFP entries (for non-editors) is now more uniform (detail / hgweb)
8. set AFP and Isabelle version to 2017 (detail / hgweb)
9. regen website (detail / hgweb)
10. update submission instructions (detail / hgweb)

Started by an SCM change

This run spent:

• 5.6 sec waiting;
• 3 min 7 sec build duration;
• 3 min 13 sec total from scheduled to completion.