#809 (Apr 8, 2017, 11:56:08 AM)

	Changes Subresultants: adapted to changes since Isabelle2016-1 (detail / hgweb)
	Started by an SCM change
	This run spent: 5.5 sec waiting; 4 min 55 sec build duration; 5 min 0 sec total from scheduled to completion.
	Revision: 3fd4982461424de4120a3c46eeb4a380197eeec5

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