#1394 (Feb 7, 2018, 9:02:09 PM)

	Changes Adapted to isabelle-dev/4a3d657adc62 (detail / hgweb)
	Started by an SCM change
	This run spent: 6.2 sec waiting; 1 hr 42 min build duration; 1 hr 42 min total from scheduled to completion.
	Revision: bdf41072c4682caa3ca381b09296ce8c1943040a
	Resume build

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