#198 (May 24, 2016, 6:24:37 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 198
	Revision: 8230358fab884f8cb3700fa580246bc161a1b559
	Revision: 5684182be6ca944ba5e9449ad4d824a0c937d751
	Aborted by user Administrative User