#875 (Apr 28, 2017, 2:20:10 PM)

	Changes Removed a condition in a lemma (detail / hgweb)
	Started by an SCM change
	This run spent: 8.6 sec waiting; 7 min 52 sec build duration; 8 min 1 sec total from scheduled to completion.
	Revision: 85e04cf9bf7d7cf5ff59f2cbc1e3bfd1ddd2a1bf

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #875	( 7 min 33 sec )	Console Output