#398 (Aug 18, 2017, 12:50:08 AM)

1. NEWS: Removed constant subseq; subsumed by strict_mono (detail / hgweb)
2. support for incremental update according to session graph structure; (detail / hgweb)
3. Merged (detail / hgweb)
4. Replaced subseq with strict_mono (detail / hgweb)
5. fix document (detail / hgweb)
6. more complete session (amending e77ea0ea7f2c); (detail / hgweb)
7. clarified imports; (detail / hgweb)
8. more complete session (amending 783861a66a60); (detail / hgweb)
9. added lemma (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.