#1458 (Feb 12, 2018, 2:57:24 PM)

	Changes corrected some URLs (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 2 sec waiting; 50 min build duration; 55 min total from scheduled to completion.
	Revision: 3dd0dfe04fcb6a5a44f214b071300a2ee5dee8fb

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1458	( 50 min )	Console Output
isabelle-repo-afp	build #1458	( 3 min 19 sec )	Console Output