#502 (Oct 27, 2016, 7:11:08 PM)

	Changes adapting to Isabelle/91eae3a1be51, tuning (detail / hgweb)
	Started by an SCM change
	This run spent: 5.3 sec waiting; 1 hr 19 min build duration; 1 hr 19 min total from scheduled to completion.
	Revision: c5f58776ee856bc5b479a6fc06142e5a48ee52ef

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