From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 14 Mar 2014 20:10:37 +0000 (-0400)
Subject: Minor documentation fixups.
X-Git-Tag: cvc5-1.0.0~7012
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f72e3a5d8c770aaf0d9424054f2657862741511d;p=cvc5.git

Minor documentation fixups.
---

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.