#201 (May 25, 2016, 2:41:30 AM)

	Changes new Isabelle component for CI infastructure (detail / hgweb)
	Started by an SCM change
	Revision: ef72b104fa323eb8980b039e776040c372917885
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #201	( 1 hr 24 min )	Console Output
isabelle-repo-afp	build #201	( 3 hr 41 min )	Console Output