#
# ChangeLog for examples/creddy_prover_tests/ice_cream_rt0
#
# Generated by Trac 1.2
# May 20, 2024 11:03:44 PM

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