#1540 (Apr 27, 2018, 3:17:09 PM)

	Changes renaming some theorems,etc. (detail / hgweb)
	Started by an SCM change
	This run spent: 6.1 sec waiting; 3 hr 29 min build duration; 3 hr 30 min total from scheduled to completion.
	Revision: 2d12ec760e59653eb5e51f5919b02a7bd3f54a8c
	Resume build

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