#
# ChangeLog for examples/access_tests/creddy_prover/s2_result.save
#
# Generated by Trac 1.2
# Jul 6, 2024 12:56:52 AM

Thu, 04 Apr 2013 07:07:42 GMT Mei <mei@…> [2e9455f]

	1) added namespace
	2) tweak ?This,
	3) allowing linking role/oset as ...