#812 (Apr 11, 2017, 1:59:09 PM)

	Changes moved lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 6.8 sec waiting; 21 min build duration; 21 min total from scheduled to completion.
	Revision: 84791ba734c4b4e04fffba2a7989ca30ce79f96d

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #812	( 21 min )	Console Output