# # ChangeLog for swig/perl/partial_proof.pl # # Generated by Trac 1.2 # Nov 5, 2024 12:39:23 AM Thu, 23 Sep 2010 23:53:39 GMT Mike Ryan [55c272b] remove libabac_init and libabac_deinit Thu, 15 Jul 2010 22:57:54 GMT Mike Ryan [c987819] partial proof tester