#428 (Sep 11, 2016, 7:28:45 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 428 originally caused by: Started by an SCM change
	Revision: 9c22a97b767445cc323e6e7a3b5d9000b9c344e2
	Revision: 524f05bd88f2930bdc4f543e6b1753f6a5f33ce2