From 75d15b2cd923f92fd26020e0c8d1786b4396d608 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Mon, 2 Apr 2018 13:35:24 -0700 Subject: Remove references to nyu (#1721) --- doc/SmtEngine.3cvc_template.in | 2 +- doc/cvc4.1_template.in | 2 +- doc/cvc4.5.in | 2 +- doc/libcvc4.3.in | 2 +- doc/libcvc4compat.3.in | 2 +- doc/libcvc4parser.3.in | 2 +- doc/mainpage.md | 2 +- doc/options.3cvc_template.in | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) (limited to 'doc') diff --git a/doc/SmtEngine.3cvc_template.in b/doc/SmtEngine.3cvc_template.in index b240dd8d2..7eaa69cf1 100644 --- a/doc/SmtEngine.3cvc_template.in +++ b/doc/SmtEngine.3cvc_template.in @@ -52,4 +52,4 @@ contributors. Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at -.BR http://cvc4.cs.nyu.edu/wiki/ . +.BR http://cvc4.cs.stanford.edu/wiki/ . diff --git a/doc/cvc4.1_template.in b/doc/cvc4.1_template.in index a0535553b..90ae938ab 100644 --- a/doc/cvc4.1_template.in +++ b/doc/cvc4.1_template.in @@ -129,4 +129,4 @@ contributors. Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at -.BR http://cvc4.cs.nyu.edu/wiki/ . +.BR http://cvc4.cs.stanford.edu/wiki/ . diff --git a/doc/cvc4.5.in b/doc/cvc4.5.in index b54f23560..c8629bffa 100644 --- a/doc/cvc4.5.in +++ b/doc/cvc4.5.in @@ -18,4 +18,4 @@ to background theories of interest. Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at -.BR http://cvc4.cs.nyu.edu/wiki/ . +.BR http://cvc4.cs.stanford.edu/wiki/ . diff --git a/doc/libcvc4.3.in b/doc/libcvc4.3.in index f85a909dd..bf5fde577 100644 --- a/doc/libcvc4.3.in +++ b/doc/libcvc4.3.in @@ -62,4 +62,4 @@ is used primarily to make assertions, check satisfiability/validity, and extract Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at -.BR http://goedel.cs.nyu.edu/wiki/ . +.BR http://goedel.cs.stanford.edu/wiki/ . diff --git a/doc/libcvc4compat.3.in b/doc/libcvc4compat.3.in index 3aa58b712..fbb21e6a8 100644 --- a/doc/libcvc4compat.3.in +++ b/doc/libcvc4compat.3.in @@ -12,4 +12,4 @@ libcvc4compat \- a CVC3 compatibility library interface for the CVC4 theorem pro Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at -.BR http://cvc4.cs.nyu.edu/wiki/ . +.BR http://cvc4.cs.stanford.edu/wiki/ . diff --git a/doc/libcvc4parser.3.in b/doc/libcvc4parser.3.in index 09fea23f1..7971a8822 100644 --- a/doc/libcvc4parser.3.in +++ b/doc/libcvc4parser.3.in @@ -12,4 +12,4 @@ libcvc4parser \- a parser library interface for the CVC4 theorem prover Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at -.BR http://cvc4.cs.nyu.edu/wiki/ . +.BR http://cvc4.cs.stanford.edu/wiki/ . diff --git a/doc/mainpage.md b/doc/mainpage.md index 8c801aa14..13005e023 100644 --- a/doc/mainpage.md +++ b/doc/mainpage.md @@ -8,7 +8,7 @@ The main classes of the CVC4 API are: - CVC4::SmtEngine - the SMT interface, permits making assertions and checking satisfiability (create one of these for your application) There are numerous examples of the use of the C++ API in the examples/api directory of the CVC4 source distribution. There is also a discussion on our CVC4 Wiki at -http://cvc4.cs.nyu.edu/wiki/Tutorials#C.2B.2B_API +http://cvc4.cs.stanford.edu/wiki/Tutorials#C.2B.2B_API Using the CVC4 API from Java diff --git a/doc/options.3cvc_template.in b/doc/options.3cvc_template.in index e72363b62..477963036 100644 --- a/doc/options.3cvc_template.in +++ b/doc/options.3cvc_template.in @@ -40,4 +40,4 @@ contributors. Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at -.BR http://cvc4.cs.nyu.edu/wiki/ . +.BR http://cvc4.cs.stanford.edu/wiki/ . -- cgit v1.2.3