#1422 (Jan 19, 2018, 5:19:12 PM)

	Changes corrected name (detail / hgweb) moved from AFP/Gromov (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 4 sec waiting; 5 hr 17 min build duration; 5 hr 22 min total from scheduled to completion.
	Revision: 7264dfad077cd21ecd147717300a2fec41ba8003

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1422	( 59 min )	Console Output
isabelle-repo-afp	build #1422	( 1 hr 39 min )	Console Output