#1083 (Apr 22, 2019, 1:33:08 AM)

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

1. follow convention of bold local syntax (detail)
2. more use of existing locales (detail)
3. avoid separate type class for mere definitional extension (detail)
4. tuned name (detail)

Started by an SCM change

This run spent:

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