#
# ChangeLog for examples/creddy_prover_tests/ice_cream_rt0/run_query
#
# Generated by Trac 1.2
# May 18, 2024 4:57:10 PM

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

	1) 1 new test