#790 (Mar 24, 2017, 6:20:13 PM)

	Changes fixed proofs in algebraic numbers (detail / hgweb)
	Started by an SCM change
	This run spent: 9.8 sec waiting; 8 min 32 sec build duration; 8 min 42 sec total from scheduled to completion.
	Revision: bb73d9ea5c85d4082b89ad7bd7b055c0c557e83a

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