#1235 (Dec 5, 2017, 4:47:08 PM)

1. Updated to isabelle-1a94352812f4; new material in Euler_MacLaurin/Zeta_Function/Dirichlet_Series (detail / hgweb)

Started by an SCM change

This run spent:

• 5.7 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 39 min total from scheduled to completion.