#1412 (Feb 20, 2018, 3:44:11 PM)

	Changes fixed a proof in Tarskis_Geometry (detail / hgweb)
	Started by an SCM change
	This run spent: 8.4 sec waiting; 4 min 25 sec build duration; 4 min 33 sec total from scheduled to completion.
	Revision: 5a1b9062cb2c4f8601026f30d3f77b6c9d008a8f

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