#1023 (Jul 21, 2017, 12:07:02 AM)

	Changes merged (detail / hgweb) improve setup for fMin/fMax/fsum; courtesy of Ondřej Kunčar & Florian Haftmann (detail / hgweb) tuned code setup (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 1 sec waiting; 2 hr 2 min build duration; 2 hr 7 min total from scheduled to completion.
	Revision: 2eae295c8fc317c4c7af3cb36af32f616819e069

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1023	( 1 hr 1 min )	Console Output
isabelle-repo-afp	build #1023	( 1 hr 37 min )	Console Output