# # ChangeLog for libabac/.libs/abac_prover_plus # # Generated by Trac 1.2 # Jun 1, 2024 3:42:35 AM Fri, 16 Jun 2017 14:28:17 GMT Kyle [80a0f3f] initial commit