#1413 (Jan 16, 2018, 10:19:08 AM)

1. tuned document; (detail / hgweb)
2. clarified comments; (detail / hgweb)
3. standardized towards new-style formal comments: isabelle update_comments; (detail / hgweb)
4. uniform treatment of old-style and new-style comments; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. clarified markup; (detail / hgweb)
7. more uniform support for formal comments in outer syntax, notably \<^cancel> and \<^latex>; (detail / hgweb)
8. clarified modules;
   more operations; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 59 min build duration;
• 2 hr 4 min total from scheduled to completion.