#490 (Oct 20, 2016, 8:11:08 AM)

	Changes updated to Isabelle/devel (detail / hgweb)
	Started by an SCM change
	This run spent: 5.8 sec waiting; 6 min 57 sec build duration; 7 min 3 sec total from scheduled to completion.
	Revision: 0c2cbc4474b0873290d843f98f703387df0e5f75
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #490	( 6 min 38 sec )	Console Output