#439 (Sep 13, 2016, 9:03:15 PM)

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