#1388 (Feb 7, 2018, 4:25:17 PM)

	Changes adjusted LLL_Factorization from Isabelle2017 to ed0a7090167d (detail / hgweb)
	Started by an SCM change
	This run spent: 8.3 sec waiting; 4 min 20 sec build duration; 4 min 28 sec total from scheduled to completion.
	Revision: 72f9db1281b65796064ece752ed7d2fc6e36c28b

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1388	( 4 min 8 sec )	Console Output