#913 (May 29, 2017, 4:50:12 PM)

	Changes Adapted to isabelle-dev 558ba6b37f5c (detail / hgweb)
	Started by an SCM change
	This run spent: 9.1 sec waiting; 1 hr 29 min build duration; 1 hr 29 min total from scheduled to completion.
	Revision: 717d649f5481037b74be2fd5ae69b76921e996e0
	Resume build

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