#368 (Mar 13, 2017, 1:33:11 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. proper edits; (detail)
2. suppress vacuous messages; (detail)
3. clarified modules; (detail)
4. more explicit message type: allows body to become empty; (detail)
5. clarified current_command: index refers to node content, negative index means first command; (detail)
6. clarified caret offset;
   show output at end of file; (detail)
7. tuned signature; (detail)
8. discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16; (detail)
9. tuned; (detail)
10. misc tuning and simplification; (detail)
11. misc tuning and simplification; (detail)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 17 hr build duration;
• 17 hr total from scheduled to completion.