#
# ChangeLog for tests/creddy_prover_tests/Makefile.am
#
# Generated by Trac 1.2
# May 18, 2024 10:33:08 PM

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

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