#607 (Apr 21, 2018, 12:50:06 AM)

1. merged (detail / hgweb)
2. support for XZ.Cache; (detail / hgweb)
3. three new theorems (detail / hgweb)
4. merged (detail / hgweb)
5. updated to postgresql-42.2.2, with more smooth support for Java 9/10; (detail / hgweb)
6. minimal Java source version for jdk-10.0.1; (detail / hgweb)
7. workaround for jdk-10.0.1; (detail / hgweb)
8. more robust, notably for jdk-10.0.1 where jre is absent; (detail / hgweb)
9. moved lemma to more appropriate place (detail / hgweb)
10. algebraic embeddings for bit operations (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.