#427 (Sep 11, 2016, 5:48:15 PM)

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