#186 (May 14, 2016, 4:56:31 PM)

	Changes reverted accidental commit; (detail / hgweb)
	Started by an SCM change
	Revision: 3081f7719df741f8e1f48a8f5fb5c1a39612c831
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #186	( 3 hr 53 min )	Console Output
isabelle-repo-makeall	build #186	( 1 hr 32 min )	Console Output