#210 (May 29, 2016, 2:11:06 PM)

	Changes added subtheory of longest common prefix (detail / hgweb)
	Started by an SCM change
	Revision: 3413b1cf30cd651caafc104381712da27f75653a
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #210	( 1 hr 24 min )	Console Output
isabelle-repo-afp	build #210	( 4 hr 2 min )	Console Output