#561 (Nov 17, 2016, 1:02:10 PM)

1. add missing timeout (detail / hgweb)
2. adapted LOFT to Isabelle devel (detail / hgweb)
3. merged (detail / hgweb)
4. webpage for Deep_Learning (detail / hgweb)
5. Deep_Learning new (detail / hgweb)
6. tuned (detail / hgweb)
7. New article Modal_Logics_for_NTS (detail / hgweb)
8. tuned (detail / hgweb)
9. new entry Stable_Matching (detail / hgweb)
10. new entry LOFT (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 14 min build duration;
• 14 min total from scheduled to completion.