#
# ChangeLog for libabac/prover_plus.cc
#
# Generated by Trac 1.2
# May 2, 2024 8:38:38 PM

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


Wed, 21 Jul 2010 04:58:00 GMT Mike Ryan <mikeryan@…> [e96c107]

	match example keystore


Wed, 14 Jul 2010 02:20:39 GMT Mike Ryan <mikeryan@…> [6ede88c]

	autoconf/make/libtoolize