#409 (Aug 30, 2017, 12:50:06 AM)

1. correction to my previous commit (detail / hgweb)
2. merged (detail / hgweb)
3. last-minute integration unscrambling (detail / hgweb)
4. towards support for HO SMT-LIB (detail / hgweb)
5. Some small lemmas about polynomials and FPSs (detail / hgweb)
6. tuned names (detail / hgweb)
7. simpler definition (detail / hgweb)
8. typo (detail / hgweb)
9. tuned (detail / hgweb)
10. tuned messages (detail / hgweb)
11. improved Vampire proof parser (detail / hgweb)
12. new file (detail / hgweb)
13. proper theory name; (detail / hgweb)
14. news (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 29 min total from scheduled to completion.