Build #854 (Feb 16, 2019 2:08:05 PM)

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

1. separate session for Flyspeck computations (detail / bitbucket)
2. more idiomatic style for local declarations in apply scripts (detail / bitbucket)
3. removed broken and unused theory (detail / bitbucket)

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

1. proper installation of ancient procedure for preorders (detail / hgweb)
2. CONTRIBUTORS (detail / hgweb)
3. more idiomatic style for local declarations in apply scripts (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 1 hr 40 min build duration;
• 1 hr 42 min total from scheduled to completion.