#1149 (Oct 10, 2017, 7:10:28 PM)

	Changes merged (detail / hgweb) renaming of theorems from the HOL libraries (detail / hgweb)
	Started by an SCM change
	This run spent: 7.9 sec waiting; 2 hr 50 min build duration; 2 hr 50 min total from scheduled to completion.
	Revision: cd292cbedcb9cfe65f9aee2f44fb639bf13b3fa2
	Resume build

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