#416 (Sep 6, 2016, 10:51:14 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 416 originally caused by: Started by an SCM change
	Revision: 5f8643e8ced5a968819eb58113eb32029e222c0c
	Revision: 2da95fe25f2e1df09a5f1c6eff5e498d6c34ec42