#
# ChangeLog for tests/example_scripts/perl/run_prover
#
# Generated by Trac 1.2
# Jun 24, 2024 5:05:35 AM

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

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