#850 (Jan 22, 2019, 1:14:25 AM)

1. updated news (detail / hgweb)
2. get rid of visibility in MaSh -- it slows it down more than it helps (detail / hgweb)
3. merged (detail / hgweb)
4. updated polyml platform: 32=x86_64_32; (detail / hgweb)
5. more thorough purge_platforms; (detail / hgweb)
6. clarified ML_OPTIONS on Windows; (detail / hgweb)
7. more operations; (detail / hgweb)
8. new material about summations and powers, along with some tweaks (detail / hgweb)
9. dedicated combinator for declarations nested in a local theory block (detail / hgweb)
10. more conventional parsing of code_stmts antiquotation (detail / hgweb)
11. more conventional syntax for code_stmts antiquotation (detail / hgweb)

Started by an SCM change

This run spent:

• 24 min waiting;
• 1 hr 16 min build duration;
• 1 hr 40 min total from scheduled to completion.