#1351 (Dec 5, 2020, 12:50:09 AM)

1. merged (detail / hgweb)
2. removed session name (detail / hgweb)
3. merged (detail / hgweb)
4. NEWS (detail / hgweb)
5. merged (detail / hgweb)
6. summarized structural and ordering invariant for trees (detail / hgweb)
7. Total correctness examples by Walter Guttmann (detail / hgweb)
8. Extension of session HOL/Hoare with total correctness proof system by Walter Guttmann (detail / hgweb)
9. tuned (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.