From f72e3a5d8c770aaf0d9424054f2657862741511d Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 14 Mar 2014 16:10:37 -0400 Subject: [PATCH] Minor documentation fixups. --- AUTHORS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/AUTHORS b/AUTHORS index 921985a4b..6198e25a7 100644 --- a/AUTHORS +++ b/AUTHORS @@ -16,7 +16,7 @@ CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does not directly incorporate code from any previous version. Information about authors of previous CVC tools is included with their distributions. -CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson +CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson. The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal Wave LLC. @@ -31,4 +31,4 @@ Diego Elio Petteno. CVC4 contains the boost.m4 autoconf module by Benoit Sigoure. CVC4 maintainer versions contain the script autogen.sh, by the -U.S. Army Research Laboratory +U.S. Army Research Laboratory. -- 2.30.2