#1631 (May 28, 2018, 8:20:12 AM)

1. merged (detail / hgweb)
2. OpSets: adapt to sorted changes (detail / hgweb)
3. merged (detail / hgweb)
4. Monad_Memo_DP: update syntax (detail / hgweb)
5. AxiomaticCategoryTheory: requires smt_oracle = true (detail / hgweb)
6. AximoaticCategoryTheory: syntax updates (detail / hgweb)
7. Monad_Memo_DP: Code_Char is gone (detail / hgweb)
8. merged from afp-2017 (detail / hgweb)
9. Hidden_Markov_Models website (detail / hgweb)
10. new entry Hidden_Markov_Models (detail / hgweb)
11. Probabilistic_Timed_Automata webpage (detail / hgweb)
12. new entry Probabilistic_Timed_Automata (detail / hgweb)
13. added timeout in ROOT of OpSets (detail / hgweb)
14. metadata and sitegen for OpSets (detail / hgweb)
15. new entry: OpSets (detail / hgweb)
16. New entry AxiomaticCategoryTheory (detail / hgweb)
17. website for Monad_Memo_DP. Also fixed the ROOT file (detail / hgweb)
18. new entry Monad_Memo_DP (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 45 min build duration;
• 1 hr 45 min total from scheduled to completion.