#444 (Sep 15, 2016, 6:09:50 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 444 originally caused by: Started by an SCM change
	Revision: 41b5d9f3778a6ca0ddb1560f7001e0a424ab6c02
	Revision: 4a0af82f1147dab5929e4a8704e0b59e84e5a02e