#964 (Jul 3, 2017, 2:08:11 PM)

	Changes adapt to Isabelle/4c999b5d78e2 (detail / hgweb)
	Started by an SCM change
	This run spent: 8.9 sec waiting; 58 min build duration; 58 min total from scheduled to completion.
	Revision: 78b7448093d19bc58e3adbff462641ccfef46d40

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #964	( 57 min )	Console Output