#141 (Apr 11, 2016, 5:29:08 PM)

	Changes lots of new theorems for multivariate analysis (detail / hgweb)
	Started by an SCM change
	Revision: 7700f467892b738938f6587694371653109b29d8
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #141	( 35 min )	Console Output
isabelle-repo-afp	build #141	( 3 hr 35 min )	Console Output