# # ChangeLog for swig/perl/partial_proof.pl # # Generated by Trac 1.2 # Oct 31, 2024 5:30:02 PM 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