#630 (Dec 18, 2016, 8:07:06 PM)

1. misc tuning and modernization; (detail / hgweb)
2. more standard notation (like infix); (detail / hgweb)
3. dummy fork to produce ML_statistics even in sequential mode (e.g. for heap size); (detail / hgweb)
4. expose stderr, e.g. Multithreading.tracing; (detail / hgweb)
5. test parallel proof terms in this small session (somewhat slow for bigger applications); (detail / hgweb)
6. tuned messages -- more symbols; (detail / hgweb)
7. tuned; (detail / hgweb)
8. more permissive syntax;
   more PIDE markup; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 32 min total from scheduled to completion.