#2074 (Jun 26, 2020, 2:47:31 AM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. adapted to Isabelle 80d7f004089d (detail)
2. adapted to Isabelle 80d7f004089d (detail)
3. merge from afp-2020 (detail)
4. Heptapod acknowledgements (detail)
5. website for Safe_Distance (detail)
6. new entry: Safe_Distance (detail)
7. added missing HTML file (detail)
8. sitegen for Nash_Williams (detail)
9. new entry Nash_Williams (detail)
10. metadata and sitegen for Smith-Normal-Form (detail)
11. new entry: Smith normal form (detail)
12. changed import to prepare for Smith-Normal-Form submission (detail)
13. new entries
    
    Automated_Stateful_Protocol_Verification and Stateful_Protocol_Composition_and_Typing (detail)

Started by an SCM change

This run spent:

• 2 min 3 sec waiting;
• 15 min build duration;
• 17 min total from scheduled to completion.