#984 (Jul 15, 2017, 5:35:15 PM)

1. Adapted to isabelle-dev 0c5eb47e2696 (detail / hgweb)
2. Added filtercomap to Landau_Symbols (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 36 min build duration;
• 1 hr 37 min total from scheduled to completion.