#1243 (Dec 19, 2017, 3:05:09 PM)

	Changes removed duplicate theorem (detail / hgweb)
	Started by an SCM change
	This run spent: 5.1 sec waiting; 3 hr 8 min build duration; 3 hr 8 min total from scheduled to completion.
	Revision: 1436448f3814cc4809bc82abbe88efa340fda540

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