#1572 (May 9, 2018, 11:35:11 AM)

	Changes merged (detail / hgweb) fix for a deleted theorem (detail / hgweb)
	Started by an SCM change
	This run spent: 8.5 sec waiting; 2 hr 30 min build duration; 2 hr 31 min total from scheduled to completion.
	Revision: 1851835504993dca17fca13c55fd0dc05d7932d1
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1572	( 2 hr 0 min )	Console Output