#1757 (Jun 20, 2018, 11:52:04 PM)

	Changes updated to polyml-5.7.1-6; (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 1 sec waiting; 2 hr 20 min build duration; 2 hr 25 min total from scheduled to completion.
	Revision: 1b8457cc4de8afec5fc2c209e0c9fb9c16864859

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #1757	( 1 hr 49 min )	Console Output
isabelle-repo-makeall	build #1757	( 1 hr 0 min )	Console Output