#1620 (May 25, 2018, 4:44:12 PM)

	Changes Gram_Schmidt_Int.thy no longer depends on LLL (detail / hgweb)
	Started by an SCM change
	This run spent: 9.2 sec waiting; 42 min build duration; 42 min total from scheduled to completion.
	Revision: b6fa99da4c68dd0bf08a37059e01ef88920ce58a
	Resume build

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