#985 (Jul 16, 2017, 11:20:08 AM)

	Changes Adapted Minkowskis_Theorem to isabelle-dev 6ad54b84ca5d (detail / hgweb)
	Started by an SCM change
	This run spent: 6.1 sec waiting; 40 min build duration; 40 min total from scheduled to completion.
	Revision: c227ef10011e5efed38d6304a4cbc268b8a24cea

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