#1005 (Aug 6, 2017, 9:59:08 PM)

	Changes adjust to isabelle:fab9a53158f8 (detail / hgweb)
	Started by an SCM change
	This run spent: 6.1 sec waiting; 1 hr 44 min build duration; 1 hr 44 min total from scheduled to completion.
	Revision: fa6f2055b676e49394f52ce3c33b68e1494a2ebf

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