#1542 (Apr 28, 2018, 4:47:08 PM)

	Changes fixed for two more missing / renamed theorems (detail / hgweb)
	Started by an SCM change
	This run spent: 6.2 sec waiting; 8 min 14 sec build duration; 8 min 20 sec total from scheduled to completion.
	Revision: 0276dee76a557e6f0123ac3af359891169d49003

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1542	( 6 min 20 sec )	Console Output