# # ChangeLog for swig/python/abac_prover.py # # Generated by Trac 1.2 # May 18, 2024 9:47:05 PM Thu, 23 Sep 2010 23:53:39 GMT Mike Ryan [55c272b] remove libabac_init and libabac_deinit Thu, 22 Jul 2010 06:43:07 GMT Mike Ryan [7af34ed] give query options to example prover code Thu, 22 Jul 2010 03:16:25 GMT Mike Ryan [43a5429] install python into python lib dir