#613 (Dec 4, 2016, 7:31:07 PM)

1. back to isabelle-dev repository; (detail / hgweb)
2. merged (detail / hgweb)
3. more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context'); (detail / hgweb)
4. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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