#100 (Mar 18, 2016, 8:59:11 PM)

1. recovered from Unicode accident in 7248d106c607; (detail / hgweb)
2. merged (detail / hgweb)
3. tuned -- fewer warnings; (detail / hgweb)
4. discontinued slightly odd "secure" mode; (detail / hgweb)
5. clarified Pretty.T toplevel pp; (detail / hgweb)
6. clarified modules; (detail / hgweb)
7. clarified modules; (detail / hgweb)
8. tuned header; (detail / hgweb)
9. clarified modules;
   tuned signature; (detail / hgweb)
10. @{make_string} is available during Pure bootstrap; (detail / hgweb)
11. clarified modules; (detail / hgweb)
12. unused; (detail / hgweb)
13. hide critical structures of Poly/ML, to make it harder to disrupt the ML environment; (detail / hgweb)
14. obsolete; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. obsolete; (detail / hgweb)
17. tuned whitespace; (detail / hgweb)
18. proper ML type; (detail / hgweb)

Started by an SCM change