#385 (Aug 19, 2016, 2:21:04 PM)

	Changes replaced the confusing int parameter by bool (detail / hgweb)
	Started by an SCM change
	Revision: 600cf5c8f2ba53010b827bad2b0d76c5dee8efa9
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #385	( 1 hr 23 min )	Console Output
isabelle-repo-makeall	build #385	( 1 hr 2 min )	Console Output