#1207 (Nov 10, 2017, 3:14:08 PM)

	Changes adapted to HOL/devel by removing text copied from HOL earlier (detail / hgweb)
	Started by an SCM change
	This run spent: 6.3 sec waiting; 3 min 24 sec build duration; 3 min 30 sec total from scheduled to completion.
	Revision: de7fdcb2d3b4429c4d8d65d23e749267131985f4

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1207	( 3 min 9 sec )	Console Output