#1178 (Oct 27, 2017, 7:08:12 AM)

1. merge from afp-2017 (detail / hgweb)
2. new entry: Kuratowski_Closure_Complement (detail / hgweb)
3. tweaks to example submission for Isabelle2017 (detail / hgweb)
4. new entries: Transition_Systems_and_Automata and Buchi_Complementation (detail / hgweb)
5. documented change policy (detail / hgweb)
6. more doc by Lars Hupel (detail / hgweb)
7. added missing file from Diophantine_Eqns_Lin_Hom (warning appears at every Isabelle/jedit start) (detail / hgweb)
8. merge (detail / hgweb)
9. compatability patch for Perron-Frobenius (old version is not compatible with Gabow_SCC) (detail / hgweb)
10. website for Count-Complex-Roots (detail / hgweb)
11. new entry Count-Complex-Roots by Wenda Li (detail / hgweb)
12. website for Winding Number (detail / hgweb)
13. new entry: Winding Number Eval by Wenda Li (detail / hgweb)
14. Linear_Recurrences website (detail / hgweb)
15. new submission Linear_Recurrences (detail / hgweb)
16. website for Zeta_Function (detail / hgweb)
17. new entry Zeta_Function (detail / hgweb)
18. website for Dirichlet_Series (detail / hgweb)
19. new entry Dirichlet_Series (detail / hgweb)
20. website for Lowe_Ontological_Argument (detail / hgweb)
21. merged (detail / hgweb)
22. metadata for Lowe_Ontological_Argument (detail / hgweb)
23. new entry Lowe_Ontological_Argument (detail / hgweb)
24. new entry Diophantine_Eqns_Lin_Hom (detail / hgweb)
25. fix by Lars (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 2 min 10 sec build duration;
• 2 min 18 sec total from scheduled to completion.