#852 (Jan 24, 2019, 1:14:20 AM)

1. obsolete -- updated in Poly/ML; (detail / hgweb)
2. updated to polyml-test-a444f281ccec; (detail / hgweb)
3. prefer x86_64_32 over x86; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. updated x86_64-linux base line; (detail / hgweb)
6. fixed me -- indeed this was wrong, as demonstrated by the predicate-free HO output (e.g. ehoh with keep_lams) (detail / hgweb)
7. tagged 2 theories  ie Cartesian_Euclidean_Space Cartesian_Space (detail / hgweb)
8. minor tagging updates in 13 theories (detail / hgweb)

Started by an SCM change

This run spent:

• 24 min waiting;
• 1 hr 20 min build duration;
• 1 hr 44 min total from scheduled to completion.