#759 (Mar 8, 2017, 4:59:10 PM)

	Changes more lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 7.8 sec waiting; 5 min 15 sec build duration; 5 min 23 sec total from scheduled to completion.
	Revision: 96bdfb32b7acdb96a52ec18a90aa14f5bb5da203

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