#918 (Jun 1, 2017, 11:44:08 AM)

	Changes Added Pumping Lemma etc. to Myhill-Nerode (detail / hgweb)
	Started by an SCM change
	This run spent: 5.7 sec waiting; 29 min build duration; 29 min total from scheduled to completion.
	Revision: a1383c91ac404c407406452bf6efd76aa4e203f6

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