#1180 (May 18, 2019, 3:29:06 AM)

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

1. re-instate devel changeset 6edffc003761 (detail)
2. reset version to devel after release fork (detail)
3. version -> 2019 (detail)
4. update docs (detail)
5. update entry release list (detail)
6. HOL-CSP: update to Isabelle2019-RC2 (detail)
7. Multi_Party_Computation update for Isabelle2019-RC2 (detail)
8. merged from afp-2018 (detail)
9. sitegen for LambdaAuth (detail)
10. new entry LambdaAuth (detail)
11. website for Multi_Party_Computation (detail)
12. new entry Multi_Party_Computation (detail)
13. HOL-CSP website; new topic Computer Science/Semantics; email address for Wolff (detail)
14. HOL-CSP (new) (detail)
15. Backed out changeset a56916696df0 (already past Isabelle2019-RC2) (detail)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 9 min 29 sec build duration;
• 11 min total from scheduled to completion.