#890 (May 5, 2017, 6:05:10 PM)

	Changes renaming theorem (detail / hgweb)
	Started by an SCM change
	This run spent: 8.5 sec waiting; 8 min 22 sec build duration; 8 min 31 sec total from scheduled to completion.
	Revision: e10461c91d1ddc6626f6502b25b5e8b735f80626

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #890	( 8 min 2 sec )	Console Output