#
# ChangeLog for examples/creddy_prover_tests/ice_cream_rt0
#
# Generated by Trac 1.2
# Apr 30, 2024 5:16:00 AM

Fri, 17 May 2013 22:24:34 GMT Mei <mei@…> [92661b4]

	1) add some doc
	2) fix the version in abac_xml


Tue, 07 May 2013 22:26:13 GMT Mei <mei@…> [b7b2ca1]

	1) 1 new test