#1539 (Mar 23, 2018, 11:53:42 AM)

	Changes merged (detail / hgweb) eliminated "elems" (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 2 sec waiting; 2 hr 0 min build duration; 2 hr 5 min total from scheduled to completion.
	Revision: 7dff1186daf376a4236d8d9db45288524091ea4b
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1539	( 2 hr 0 min )	Console Output
isabelle-repo-afp	build #1539	( 4 min 48 sec )	Console Output