#531 (Jan 17, 2018, 12:50:07 AM)

1. Experimental support for rewrite morphisms in locale instances. (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. more documentation; (detail / hgweb)
4. clarified markup; (detail / hgweb)
5. discontinued old form of marginal comments; (detail / hgweb)
6. tuned document; (detail / hgweb)
7. clarified comments; (detail / hgweb)
8. standardized towards new-style formal comments: isabelle update_comments; (detail / hgweb)
9. uniform treatment of old-style and new-style comments; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. clarified markup; (detail / hgweb)
12. more uniform support for formal comments in outer syntax, notably \<^cancel> and \<^latex>; (detail / hgweb)
13. clarified modules;
    more operations; (detail / hgweb)

Started by an SCM change

This run spent:

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