#1738 (Jun 13, 2018, 10:52:06 AM)

	Changes restructured (detail / hgweb) result of unoverload is not in normal form (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 4 sec waiting; 56 min build duration; 1 hr 1 min total from scheduled to completion.
	Revision: f9b15e7c12bd11f95898b30db559878c5082aaf2

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1738	( 55 min )	Console Output
isabelle-repo-afp	build #1738	( 50 min )	Console Output