#1410 (Feb 20, 2018, 2:26:46 PM)

	Changes fixed some horrendous proofs (detail / hgweb) rewrote a failing proof and reformatted another (detail / hgweb)
	Started by an SCM change
	This run spent: 5.1 sec waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: 376b9d4f72cdaa08bd04289e2de51a639d9edc7b
	Resume build

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