#1588 (May 15, 2018, 11:41:09 AM)

	Changes moved FuncSet (isabelle/2af1f142f855) (detail / hgweb)
	Started by an SCM change
	This run spent: 5.8 sec waiting; 1 hr 39 min build duration; 1 hr 39 min total from scheduled to completion.
	Revision: 5d961e9f8536b3c8bb234b5d443082039baf7c80
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1588	( 1 hr 38 min )	Console Output