#346 (Feb 16, 2017, 1:33:14 AM)

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

1. merged (detail)
2. Helpful lemmas for dealing with equalities involving Act. (detail)
3. merge from afp-2016-1 (detail)
4. sitegen not available in export; revert to old publish method for now (detail)
5. Fix template for entries (detail)
6. tweak layout now that css seems to be respected (detail)
7. entries are .shtml not .html (detail)
8. regenerate website (detail)
9. Merged in ammerbauer/afp-2016-1 (pull request #1)
   
   Create webpage with Jinja2 template engine (detail)
10. Add logging to sitegen (detail)
11. macOS: prefer system Python (detail)
12. BSD/macOS compatibility (detail)
13. managed Python environment (detail)
14. Sitegen creates RSS feed (detail)
15. Remove superfluous import (detail)
16. Create webpage with Jinja2 template engine (detail)

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

1. cancellation simprocs generalising the multiset simprocs (detail)
2. adding simplification patterns to multiset simprocs (detail)
3. renaming multiset simprocs (detail)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 16 hr build duration;
• 16 hr total from scheduled to completion.