#1597 (May 17, 2018, 2:26:09 PM)

	Changes generalized some lemmas on Gram-Schmidt (detail / hgweb)
	Started by an SCM change
	This run spent: 6.6 sec waiting; 11 min build duration; 11 min total from scheduled to completion.
	Revision: d1e2a7eb894f8d3ba936b8bcd191e153584e5e23

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