#1176 (Oct 24, 2017, 6:53:13 PM)

	Changes adapted to isabelle a99a7cbf0fb5 (detail / hgweb)
	Started by an SCM change
	This run spent: 9.2 sec waiting; 1 hr 48 min build duration; 1 hr 48 min total from scheduled to completion.
	Revision: 29ff8db9b162d79d818fdd73bb239c0a3406043e

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