#774 (Mar 15, 2017, 10:38:24 AM)

	Changes adapted to isabelle/f435640193b6 (detail / hgweb)
	Started by an SCM change
	This run spent: 8.7 sec waiting; 1 hr 26 min build duration; 1 hr 26 min total from scheduled to completion.
	Revision: 71767e8d023f598b2080ce4da62aa2d9ffad82bc

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #774	( 1 hr 25 min )	Console Output