#1347 (Jan 21, 2018, 12:44:11 AM)

1. set default to devel version (detail / hgweb)
2. merge from afp-2017 (detail / hgweb)
3. update docs (detail / hgweb)
4. admin: factor out common shell code; standardise isabelle tool access (detail / hgweb)
5. remove obsolote afp-test/isa-test scripts (detail / hgweb)

Started by an SCM change

This run spent:

• 7.5 sec waiting;
• 1 hr 44 min build duration;
• 1 hr 45 min total from scheduled to completion.