#779 (Nov 4, 2018, 12:50:10 AM)

1. NEWS; (detail / hgweb)
2. merged (detail / hgweb)
3. tuned whitespace; (detail / hgweb)
4. tuned message (e.g. see Options.save_prefs); (detail / hgweb)
5. tuned whitespace; (detail / hgweb)
6. support for Isabelle tools in Haskell; (detail / hgweb)
7. tuned comments; (detail / hgweb)
8. more operations; (detail / hgweb)
9. support for Isabelle tool development in Haskell; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.