#1573 (May 9, 2018, 2:06:36 PM)

	Changes added lemma on Gramian_determinant (detail / hgweb)
	Started by an SCM change
	This run spent: 9.9 sec waiting; 2 hr 1 min build duration; 2 hr 1 min total from scheduled to completion.
	Revision: dd9b85c595922fd4b54ad5f1d1757c0a66e3828b
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1573	( 2 hr 1 min )	Console Output