#177 (May 10, 2016, 12:59:07 PM)

	Changes two new lemmas about segments (detail / hgweb)
	Started by an SCM change
	Revision: 844725394a37479a5ae81215dd5ae78cfd8c8ba0
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #177	( 3 hr 28 min )	Console Output
isabelle-repo-makeall	build #177	( 1 hr 23 min )	Console Output