#259 (Jun 21, 2016, 10:56:24 AM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 259
	Revision: 7a8515c58271f8ae383bc8474426fe2ed470f2f3
	Revision: f5b9938b73d2066e261c0c857477df3fc947c7a2