#17 (Jul 8, 2021, 12:46:00 PM)

1. jenkins: pre/post-hook results (detail / hgweb)
2. Added missing Public_Announcement_Logic to ROOTS file (detail / hgweb)
3. More Support on Clean Syntax, Basic Lens Support, New Examples. (detail / hgweb)
4. finishing arg -> Arg and moving some material out of Stirling_Formula/Gamma_Asymptotics (detail / hgweb)
5. arg -> Arg: the last holdout (detail / hgweb)
6. merged (detail / hgweb)
7. arg -> Arg (detail / hgweb)
8. Add entry public announcement logic (detail / hgweb)
9. merged (detail / hgweb)
10. adapt to changes in HOL-Library.Cardinality (detail / hgweb)
11. Added Approximation_Algorithm for Center_Selection (detail / hgweb)
12. proved conditional completeness of compilation (detail / hgweb)
13. fixed typos (detail / hgweb)
14. more word cleanup (detail / hgweb)
15. more default simp rules (detail / hgweb)
16. some word streamlining (detail / hgweb)
17. made consistent again (detail / hgweb)
18. Fixed entry name for theories in sub-directory (detail / hgweb)

Started by an SCM change

This run spent:

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

Aborted by user huch