#417 (Sep 7, 2016, 4:18:13 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 417 originally caused by: Started by an SCM change
	Revision: 42b98ab11598add6091f191306b3f2d7106f8866
	Revision: 2da95fe25f2e1df09a5f1c6eff5e498d6c34ec42