#372 (Mar 17, 2017, 1:33:13 AM)

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

1. merge from afp-2016-1 (detail)
2. Cosmetic changes to abstract of some entries (detail)
3. Fix numbering of most used articles in statistics (detail)
4. Tuned wording in Comparison_Sort_Lower_Bound (detail)
5. adjust Word_Lib for isabelle 75f2aa8ecb12 (detail)
6. Adapted Quick_Sort_Cost to afp-devel (detail)
7. merge from afp-2016-1 (detail)
8. new entries Comparison_Sort_Lower_Bound and Quick_Sort_Cost (detail)
9. nav menu capitalisation (detail)
10. Adapted Euler_MacLaurin to afp-devel (detail)
11. merge (detail)
12. merge from afp-2016-1 (detail)
13. re-run new sitegen (detail)
14. Merged in ammerbauer/afp-2016-1 (pull request #4)
    
    Default (detail)
15. Sort "Used by" and "Depends on" in Jinja2 template
    
    * There are changes to some shtml files since Jinja2's and Python's
      standard sort handle capital letters differently (detail)
16. Show title of entry in <title> (detail)
17. Change "Submission Guidelines" to "Submission" (detail)
18. Clean up sitegen scripts (detail)
19. Fix and clean up templates.py (detail)
20. Euler_MacLaurin website (detail)
21. new: Euler_MacLaurin (detail)

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

1. Removed [simp] status for Complex_eq. Also tidied some proofs (detail)
2. Removal of [simp] status for greaterThan_0. Moved two theorems into main HOL. (detail)

Started by an SCM change

This run spent:

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