#548 (Nov 14, 2016, 8:35:11 PM)

	Changes merge (detail / hgweb) avoid int-to-nat-conversion in Gauss-Jorden elimination (detail / hgweb)
	Started by an SCM change
	This run spent: 7.8 sec waiting; 11 min build duration; 11 min total from scheduled to completion.
	Revision: ec601e5e18546839594f2e2f8054ffccde6d9f87

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