#419 (Sep 7, 2016, 11:12:15 PM)

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