#
# ChangeLog for tests/creddy_prover_tests/experiment_create_rt0
#
# Generated by Trac 1.2
# Jul 2, 2024 12:59:35 PM

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

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