#
# ChangeLog for tests/creddy_prover_tests/acme_rockets_rt0
#
# Generated by Trac 1.2
# May 15, 2024 10:31:03 AM

Thu, 11 Jul 2013 22:37:01 GMT Mei <mei@…> [3c30b59]

	1) add in new refactored regression testing directory
	2) undo the ...


Fri, 31 May 2013 16:38:28 GMT Mei <mei@…> [ec550f7]

	1) reworked how API doc is generated
	2) tweak top level Makefile.am ...