#567 (Nov 17, 2016, 5:44:12 PM)

1. move import of Prefix_Order down the theory graph such that parts are usable in combination with List_lexord (detail / hgweb)

Started by an SCM change

This run spent:

• 9.6 sec waiting;
• 19 min build duration;
• 19 min total from scheduled to completion.