#1200 (Nov 5, 2017, 6:20:11 PM)

	Changes adapted to Isabelle/335a7dce7cb3; (detail / hgweb)
	Started by an SCM change
	This run spent: 6.8 sec waiting; 2 hr 6 min build duration; 2 hr 6 min total from scheduled to completion.
	Revision: fee069c9805bf1d29afa352160b1487e16ff0a6c

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