#575 (Nov 19, 2016, 5:24:18 PM)

	Changes added a few lemmas + tuning (detail / hgweb)
	Started by an SCM change
	This run spent: 6.9 sec waiting; 12 min build duration; 12 min total from scheduled to completion.
	Revision: 6d2aebc6d3905b8c6fdde67fde11626578ec214c
	Resume build

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