#758 (Mar 8, 2017, 12:44:09 PM)

	Changes moved lemmas earlier (detail / hgweb)
	Started by an SCM change
	This run spent: 6.9 sec waiting; 1 hr 24 min build duration; 1 hr 24 min total from scheduled to completion.
	Revision: b8433f909c4c58f6340a5c718aed00a2b694679b

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