#182 (May 12, 2016, 10:32:08 AM)

	Changes expose Sessions.Info in Build.Results (detail / hgweb)
	Started by an SCM change
	Revision: 6af03422535abdf8da0f400a731186ce42dd2b66
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #182	( 1 hr 32 min )	Console Output
isabelle-repo-afp	build #182	( 8 hr 21 min )	Console Output