#314 (Jul 17, 2016, 12:00:02 PM)

	Changes more precise error information for dynamic Scala tools (detail / hgweb)
	Started by an SCM change
	Revision: 78401d628718ac30829b629bf6fcc0448d32ca1c
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #314	( 1 hr 7 min )	Console Output
isabelle-repo-afp	build #314	( 54 min )	Console Output