#1329 (Jan 16, 2018, 9:26:18 AM)

1. standardized towards new-style formal comments: isabelle update_comments from Isabelle/f075640b8868; (detail / hgweb)

Started by an SCM change

This run spent:

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