#
# ChangeLog for swig/perl/abac_prover.pl
#
# Generated by Trac 1.2
# May 9, 2024 7:25:26 PM

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 07:01:48 GMT Mike Ryan <mikeryan@…> [f1463c6]

	package and install perl modules