#210 (Dec 19, 2016, 12:50:08 AM)

1. misc tuning and modernization; (detail / hgweb)
2. tuned whitespace; (detail / hgweb)
3. added isabelle jedit -R;
   errors in session_info/session_content are ignored and deferred to later checks of Build.build; (detail / hgweb)
4. misc tuning and modernization; (detail / hgweb)
5. more standard notation (like infix); (detail / hgweb)
6. dummy fork to produce ML_statistics even in sequential mode (e.g. for heap size); (detail / hgweb)
7. expose stderr, e.g. Multithreading.tracing; (detail / hgweb)
8. test parallel proof terms in this small session (somewhat slow for bigger applications); (detail / hgweb)
9. tuned messages -- more symbols; (detail / hgweb)
10. tuned; (detail / hgweb)
11. more permissive syntax;
    more PIDE markup; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 1 hr 3 min build duration;
• 1 hr 3 min total from scheduled to completion.