#
# ChangeLog for swig/python/abac_prover.py
#
# Generated by Trac 1.2
# May 13, 2024 8:54:24 AM

Tue, 22 Nov 2011 21:49:56 GMT Mike Ryan <mikeryan@…> [605ee1d]

	be clear when a proof has failed


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

	remove libabac_init and libabac_deinit


Thu, 22 Jul 2010 06:43:07 GMT Mike Ryan <mikeryan@…> [7af34ed]

	give query options to example prover code


Thu, 22 Jul 2010 03:16:25 GMT Mike Ryan <mikeryan@…> [43a5429]

	install python into python lib dir