#595 (Nov 22, 2016, 12:53: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: 988681a0ad6e9c01a018058f417bcd6906865d7a

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