#244 (Jun 13, 2016, 9:47:18 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 244
	Revision: 3951a15a05d1285f423ee10399d3828035f09fa6
	Revision: e67273333c33b034e075f455f05cc0215baa6ccd