#762 (Mar 9, 2017, 6:32:08 PM)

	Changes added lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 5.5 sec waiting; 5 min 27 sec build duration; 5 min 33 sec total from scheduled to completion.
	Revision: 2d0187afdb53bd1bd983a31d26b5a771f3e260dc

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #762	( 4 min 56 sec )	Console Output