#
# ChangeLog for preprover/abac_preprover_client.pl
#
# Generated by Trac 1.2
# May 21, 2024 1:24:59 AM

Thu, 22 Jul 2010 20:16:47 GMT Mike Ryan <mikeryan@…> [a26520d]

	intelligently display preprover results


Thu, 22 Jul 2010 17:17:32 GMT Mike Ryan <mikeryan@…> [6159c8d]

	add options to preprover client/server, install into bin