#363 (Mar 8, 2017, 1:33:13 AM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. merged (detail)
2. tuned (detail)
3. tuning (detail)
4. added hydra battle (detail)
5. added simp rule + removed simp rule provable by simp (detail)

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

1. updated package; (detail)
2. merged (detail)
3. decorations for text color; (detail)
4. tuned; (detail)
5. more generic colors; (detail)
6. tuned; (detail)
7. decorations for spell-checker; (detail)
8. clarified modules; (detail)
9. tuned signature; (detail)
10. clarified modules: spell-checker in Pure; (detail)
11. added admin tool "isabelle build_vscode"; (detail)
12. clarified options; (detail)
13. Tuned generation of elimination rules in function package (detail)

Started by an SCM change

This run spent:

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