From 0ad2afe61b58725fc74423a5d90976ea9aaa6f73 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Mon, 21 Aug 2017 17:30:45 -0700 Subject: [PATCH] Updated NYU -> Stanford --- doc/SmtEngine.3cvc_template.in | 2 +- doc/cvc4.1_template.in | 2 +- doc/options.3cvc_template.in | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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. -- 2.30.2