#1379 (Feb 2, 2018, 1:08:13 PM)

	Changes extracted lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 8.7 sec waiting; 2 hr 7 min build duration; 2 hr 8 min total from scheduled to completion.
	Revision: c4356a8837ef76f457116ec5e03dfbca5608ef92

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