#9 (Feb 13, 2016, 12:23:07 PM)

	Changes obsolete -- no such conditions in main Isabelle repository; (detail / hgweb) tuned header; (detail / hgweb) clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; (detail / hgweb) unconditional test -- nothing special here; (detail / hgweb)
	Started by an SCM change
	Revision: 8bbbe07cd0eec3b2a1b9c900612540e20f7a4c9e
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #9	( 1 hr 2 min )	Console Output
isabelle-repo-afp	build #9	( 3 hr 6 min )	Console Output