#254 (Jun 17, 2016, 10:59:18 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 254
	Revision: df655e33995c2cb239e062de836a979e046dad9e
	Revision: 4532464d80f700edd63691c3ce1ae1bab8463f74