#1055 (Sep 1, 2017, 12:05:10 PM)

	Changes updated to situation in current Isabelle (e.g. 72bb0eefd148); (detail / hgweb)
	Started by an SCM change
	This run spent: 6.5 sec waiting; 3 hr 0 min build duration; 3 hr 0 min total from scheduled to completion.
	Revision: 329667608871df071270ada85950bbdd71d9f960
	Resume build

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