#522 (Jan 8, 2018, 12:50:11 AM)

1. merged (detail / hgweb)
2. prefer formal comments; (detail / hgweb)
3. clarified NEWS; (detail / hgweb)
4. tuned whitespace; (detail / hgweb)
5. tuned; (detail / hgweb)
6. support for formal comments in ML in Isabelle/Scala; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned message; (detail / hgweb)
9. allow formal comments in ML;
   ML_Compiler.eval: always suppress comments; (detail / hgweb)
10. clarified modules; (detail / hgweb)
11. tuned; (detail / hgweb)
12. more uniform output: formal comments within {* ... *}; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified output: avoid extra space; (detail / hgweb)
15. output token content with formal comments and antiquotations; (detail / hgweb)
16. tuned; (detail / hgweb)
17. clarified signature; (detail / hgweb)
18. clarified modules; (detail / hgweb)
19. inner syntax comments may be written as "\<comment> \<open>text\<close>"; (detail / hgweb)
20. spelling (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.