#1001 (Aug 3, 2017, 10:11:09 PM)

	Changes updated to renamed lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 7.5 sec waiting; 24 min build duration; 24 min total from scheduled to completion.
	Revision: 47214aa6c8035fd9b1386f221ffd3d9d85058993

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1001	( 16 min )	Console Output