#640 (May 25, 2018, 1:23:48 AM)

1. merged (detail / hgweb)
2. setup server directory for Cygwin quasi-mirror; (detail / hgweb)
3. more scalable JVM memory management; (detail / hgweb)
4. tuned output; (detail / hgweb)
5. more general cache, also for term substructures; (detail / hgweb)
6. more exports;
   read_session: proper signature; (detail / hgweb)
7. generalized Cramer's rule (detail / hgweb)
8. tuned (detail / hgweb)
9. reorganization, everything based on Tree2 now (detail / hgweb)
10. avoid overaggressive classical rule (detail / hgweb)
11. By Andrei Popescu based on an initial version by Kasper F. Brandt (detail / hgweb)

Started by an SCM change

This run spent:

• 33 min waiting;
• 1 hr 29 min build duration;
• 2 hr 3 min total from scheduled to completion.