#1135 (Aug 31, 2017, 3:15:27 AM)

	Changes merged (detail / hgweb) eliminated some goal_cases (detail / hgweb) unscrambled has_integral_Union (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 2 sec waiting; 2 hr 9 min build duration; 2 hr 14 min total from scheduled to completion.
	Revision: ad0cefe1e9a9cdfec1dab066a351c74a69cc6018

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1135	( 1 hr 3 min )	Console Output
isabelle-repo-afp	build #1135	( 36 min )	Console Output