#1385 (Feb 6, 2018, 11:47:09 AM)

	Changes extracted lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 5.6 sec waiting; 4 min 51 sec build duration; 4 min 57 sec total from scheduled to completion.
	Revision: 155bf0fe338ab289e470525c524daadfeaa68c8b

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1385	( 4 min 11 sec )	Console Output