From: Clark Barrett <barrett@cs.stanford.edu>
Date: Tue, 22 Aug 2017 00:30:45 +0000 (-0700)
Subject: Updated NYU -> Stanford
X-Git-Tag: cvc5-1.0.0~5672
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0ad2afe61b58725fc74423a5d90976ea9aaa6f73;p=cvc5.git

Updated NYU -> Stanford
---

diff --git a/doc/SmtEngine.3cvc_template.in b/doc/SmtEngine.3cvc_template.in
index b2b31c333..0c558d8b7 100644
--- a/doc/SmtEngine.3cvc_template.in
+++ b/doc/SmtEngine.3cvc_template.in
@@ -41,7 +41,7 @@ An issue tracker for the CVC4 project is maintained at
 .BR https://github.com/CVC4/CVC4/issues .
 .SH AUTHORS
 .B CVC4
-is developed by a team of researchers at New York University
+is developed by a team of researchers at Stanford University
 and the University of Iowa.
 See the AUTHORS file in the distribution for a full list of
 contributors.
diff --git a/doc/cvc4.1_template.in b/doc/cvc4.1_template.in
index 11b9bac1b..ddf9bac09 100644
--- a/doc/cvc4.1_template.in
+++ b/doc/cvc4.1_template.in
@@ -118,7 +118,7 @@ An issue tracker for the CVC4 project is maintained at
 .BR https://github.com/CVC4/CVC4/issues .
 .SH AUTHORS
 .B CVC4
-is developed by a team of researchers at New York University
+is developed by a team of researchers at Stanford University
 and the University of Iowa.
 See the AUTHORS file in the distribution for a full list of
 contributors.
diff --git a/doc/options.3cvc_template.in b/doc/options.3cvc_template.in
index 7e4f27a4a..d239b66f3 100644
--- a/doc/options.3cvc_template.in
+++ b/doc/options.3cvc_template.in
@@ -29,7 +29,7 @@ An issue tracker for the CVC4 project is maintained at
 .BR https://github.com/CVC4/CVC4/issues .
 .SH AUTHORS
 .B CVC4
-is developed by a team of researchers at New York University
+is developed by a team of researchers at Stanford University
 and the University of Iowa.
 See the AUTHORS file in the distribution for a full list of
 contributors.