#491 (Oct 20, 2016, 10:08:08 AM)

	Changes patch for latest Isabelle by Zhe Hou (detail / hgweb)
	Started by an SCM change
	This run spent: 5.9 sec waiting; 6 min 42 sec build duration; 6 min 48 sec total from scheduled to completion.
	Revision: 8c33b5594e9e93078bda62cb911208dae0c1f603
	Resume build

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