#683 (Jan 12, 2017, 11:15:11 AM)

	Changes added lemma (detail / hgweb)
	Started by an SCM change
	This run spent: 9.6 sec waiting; 4 min 50 sec build duration; 4 min 59 sec total from scheduled to completion.
	Revision: a9b1b6251a269434dfdbe57032e753b9a40cd762

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