#764 (Mar 10, 2017, 11:38:10 AM)

	Changes added lemma + tweaked docs (detail / hgweb)
	Started by an SCM change
	This run spent: 7.8 sec waiting; 5 min 32 sec build duration; 5 min 40 sec total from scheduled to completion.
	Revision: 50e175f87db0edb46287a835b84d8f233fd7c900

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #764	( 5 min 3 sec )	Console Output