#1044 (Aug 5, 2017, 2:07:13 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 1044 originally caused by: Started by an SCM change
	This run spent: 8.8 sec waiting; 40 min build duration; 41 min total from scheduled to completion.
	Revision: 1072edd475dcaebf7710ca3ec5943698901e88b4
	Revision: bad4babfed8dafb17c698e82d8abf4da245dee45