#
# ChangeLog for swig/perl/partial_proof.pl
#
# Generated by Trac 1.2
# May 16, 2024 11:27:44 PM

Thu, 23 Sep 2010 23:53:39 GMT Mike Ryan <mikeryan@…> [55c272b]

	remove libabac_init and libabac_deinit


Thu, 15 Jul 2010 22:57:54 GMT Mike Ryan <mikeryan@…> [c987819]

	partial proof tester