#618 (Nov 25, 2016, 8:56:11 PM)

	Changes simplified proof a bit (detail / hgweb)
	Started by an SCM change
	This run spent: 9.2 sec waiting; 4 min 22 sec build duration; 4 min 31 sec total from scheduled to completion.
	Revision: fa459e75b5039396481ab29213483e722595a08f

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