#1534 (Aug 24, 2021, 1:59:19 AM)

1. treat Symbol.eof as in ML (but: presently unused); (detail / hgweb)
2. tuned; (detail / hgweb)
3. minor performance tuning; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. proper Isabelle symbol positions; (detail / hgweb)
6. more Haskell operations; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned; (detail / hgweb)
9. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 9 min waiting;
• 2 hr 6 min build duration;
• 3 hr 15 min total from scheduled to completion.