#892 (May 11, 2017, 12:20:09 PM)

1. merge from 2016-1 (detail / hgweb)
2. website for Game_Based_Crypto (detail / hgweb)
3. new entry: Game_Based_Crypto (detail / hgweb)
4. website for CryptHOL (detail / hgweb)
5. new entry: CryptHOL (detail / hgweb)
6. put empty URL for Joshua Schneider to avoid warning by sitegen (detail / hgweb)
7. website for Probabilistic_While (detail / hgweb)
8. new entry: Probabilistic_While (detail / hgweb)
9. website for Monad_Normalisation (detail / hgweb)
10. website for Monad_Normalisation (detail / hgweb)
11. new entry: Monad_Normalisation (detail / hgweb)
12. website update for Monomorphic_Monad (detail / hgweb)
13. added new entry Monomorphic_Monad (detail / hgweb)
14. New entry: Floyd_Warshall (detail / hgweb)
15. New entry MonoidalCategory (detail / hgweb)
16. Types_Tableaus_and_Goedels_God website (detail / hgweb)
17. new entry Types_Tableaus_and_Goedels_God (detail / hgweb)
18. Local Lexing website (detail / hgweb)
19. new entry Local Lexing (detail / hgweb)

Started by an SCM change

This run spent:

• 5.6 sec waiting;
• 2 min 22 sec build duration;
• 2 min 28 sec total from scheduled to completion.