#192 (May 18, 2016, 12:26:26 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 192
	Revision: 65f1d7829463d68e215d1b0cf4e4911fc7cbc48c
	Revision: 019480d288759e139db3c95e64eb8ca489424b13