#891 (May 9, 2017, 7:44:08 PM)

	Changes Added Mertens' first theorem to Bertrands_Postulate (detail / hgweb)
	Started by an SCM change
	This run spent: 5.8 sec waiting; 3 min 47 sec build duration; 3 min 53 sec total from scheduled to completion.
	Revision: a66120364b5f2573a6482092cb1243f82a990e6f

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