#446 (Sep 16, 2016, 10:36:13 AM)

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