From 14776d0aeb833a7e728a27af6ef545f20b495f7f Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 16 Aug 2013 15:15:03 -0400 Subject: Documentation fixes, some code typo fixes, file perms, other minor things. --- doc/cvc4.5.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/cvc4.5.in') diff --git a/doc/cvc4.5.in b/doc/cvc4.5.in index ab4e8806c..b54f23560 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://church.cims.nyu.edu/wiki/ . +.BR http://cvc4.cs.nyu.edu/wiki/ . -- cgit v1.2.3