#418 (Sep 7, 2016, 5:57:58 PM)

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