#1576 (May 9, 2018, 11:17:10 PM)

	Changes adapted to Isabelle/6fb85346cb79; (detail / hgweb)
	Started by an SCM change
	This run spent: 7.8 sec waiting; 2 hr 1 min build duration; 2 hr 1 min total from scheduled to completion.
	Revision: 2d77f99edaa7dc250993c27a5503da33bfa71330
	Resume build

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