#1610 (May 24, 2018, 11:41:39 AM)

	Changes added lemma Ints_scalar_prod (detail / hgweb)
	Started by an SCM change
	This run spent: 9.6 sec waiting; 4 hr 40 min build duration; 4 hr 41 min total from scheduled to completion.
	Revision: 6b15e8f2e35f829e8c544d419f27e27bf995a1c6

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