#1395 (Feb 7, 2018, 10:44:55 PM)

	Changes generalized a proof and added a counterexample to another property (detail / hgweb)
	Started by an SCM change
	This run spent: 8.4 sec waiting; 1 hr 43 min build duration; 1 hr 43 min total from scheduled to completion.
	Revision: de42d5ba97cc5b31ef89dbb44900c73655cefa12
	Resume build

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