#1124 (Aug 29, 2017, 11:16:07 AM)

	Changes proper theory name; (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 4 sec waiting; 54 min build duration; 59 min total from scheduled to completion.
	Revision: 075bbb78d33c555b7a38f516304ee2be3a740e35

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1124	( 53 min )	Console Output
isabelle-repo-afp	build #1124	( 2 min 33 sec )	Console Output