#445 (Sep 15, 2016, 7:50:34 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 445 originally caused by: Started by an SCM change
	Revision: d588f684ccaf1e5a93175b31cd8e5b11f3644419