#1202 (Nov 8, 2017, 4:08:13 PM)

	Changes adapted to Isabelle/961285f581e6 (completeness tbd) (detail / hgweb)
	Started by an SCM change
	This run spent: 8.5 sec waiting; 2 hr 45 min build duration; 2 hr 45 min total from scheduled to completion.
	Revision: cfa7d4ec01894def6b0fb255ec69655c27720efa

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