#804 (Apr 7, 2017, 12:47:08 PM)

	Changes adapted to Isabelle/c821f1f3d92d (detail / hgweb)
	Started by an SCM change
	This run spent: 6.8 sec waiting; 1 hr 33 min build duration; 1 hr 33 min total from scheduled to completion.
	Revision: 6cc4213de7e9595fa510f2e913900e31cc7d884d
	Resume build

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