Updated NYU -> Stanford

diff --git a/doc/SmtEngine.3cvc_template.in b/doc/SmtEngine.3cvc_template.in
index b2b31c3334a24e53a0aa67754896f653f96320dc..0c558d8b78bf6b0a10fae6605acc51dc8fd988c9 100644 (file)
--- 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 11b9bac1b99b5b0b076f5a0f80b6dc6d1303e832..ddf9bac091fda48e7d2664c41e7b37851af1f8ca 100644 (file)
--- 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 7e4f27a4a6d0ce754591ce2abff2e4b7247c8447..d239b66f317882d485d1e555f90f77e547d5e90c 100644 (file)
--- 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.