#1175 (Sep 22, 2017, 8:49:51 PM)

	Changes document incompatibility (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 0 sec waiting; 53 min build duration; 58 min total from scheduled to completion.
	Revision: 4b10fa05423baa1ae48a570aa6f5257a2cf5f541

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1175	( 52 min )	Console Output
isabelle-repo-afp	build #1175	( 2 min 43 sec )	Console Output