#
# ChangeLog for swig/perl/abac_prover.pl
#
# Generated by Trac 1.2
# Nov 5, 2024 6:07:15 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 07:01:48 GMT Mike Ryan <mikeryan@…> [f1463c6]

	package and install perl modules