#625 (Nov 29, 2016, 5:17:09 PM)

	Changes update to Isabelle fc2835a932d9 (detail / hgweb) chmod -x (detail / hgweb)
	Started by an SCM change
	This run spent: 5.6 sec waiting; 1 hr 17 min build duration; 1 hr 17 min total from scheduled to completion.
	Revision: 9c28fb4e4922f48de7cd1b069504f27ff36649d0
	Resume build

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