#1056 (Sep 1, 2017, 3:05:36 PM)

1. Zusammenführen (detail / hgweb)
2. - Some layouting (detail / hgweb)
3. - Adding lemma lNact_least
   - Adding lemma nxtActLe
   - Adding lemma nxt_geq_lNact (detail / hgweb)

Started by an SCM change

This run spent:

• 5.7 sec waiting;
• 3 hr 12 min build duration;
• 3 hr 12 min total from scheduled to completion.