#743 (Mar 1, 2017, 1:56:18 PM)

	Changes port of Elliptic_Test.thy from Isabelle 2016-1 by Stefan Berghofer (detail / hgweb)
	Started by an SCM change
	This run spent: 8.9 sec waiting; 2 min 35 sec build duration; 2 min 43 sec total from scheduled to completion.
	Revision: 6f7e4a635f290e205cdf88fb8668de806d5e55ba
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #743	( 2 min 22 sec )	Console Output