#802 (Apr 6, 2017, 10:08:10 PM)

	Changes adapted to Isabelle/8cd54b18b68b; (detail / hgweb)
	Started by an SCM change
	This run spent: 8.2 sec waiting; 7 min 30 sec build duration; 7 min 38 sec total from scheduled to completion.
	Revision: a57cc7f17125418aaf4bc2a46d82e79596d7e2aa

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #802	( 7 min 18 sec )	Console Output