diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/SmtEngine.3cvc_template.in | 3 | ||||
-rw-r--r-- | doc/cvc4.1_template.in | 3 | ||||
-rw-r--r-- | doc/cvc4.5.in | 3 | ||||
-rw-r--r-- | doc/libcvc4.3.in | 3 | ||||
-rw-r--r-- | doc/libcvc4compat.3.in | 15 | ||||
-rw-r--r-- | doc/libcvc4parser.3.in | 3 | ||||
-rw-r--r-- | doc/options.3cvc_template.in | 3 |
7 files changed, 6 insertions, 27 deletions
diff --git a/doc/SmtEngine.3cvc_template.in b/doc/SmtEngine.3cvc_template.in index 7eaa69cf1..b34500b50 100644 --- a/doc/SmtEngine.3cvc_template.in +++ b/doc/SmtEngine.3cvc_template.in @@ -47,8 +47,7 @@ See the AUTHORS file in the distribution for a full list of contributors. .SH "SEE ALSO" .BR libcvc4 (3), -.BR libcvc4parser (3), -.BR libcvc4compat (3) +.BR libcvc4parser (3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at diff --git a/doc/cvc4.1_template.in b/doc/cvc4.1_template.in index 90ae938ab..042d6cfc1 100644 --- a/doc/cvc4.1_template.in +++ b/doc/cvc4.1_template.in @@ -124,8 +124,7 @@ See the AUTHORS file in the distribution for a full list of contributors. .SH "SEE ALSO" .BR libcvc4 (3), -.BR libcvc4parser (3), -.BR libcvc4compat (3) +.BR libcvc4parser (3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at diff --git a/doc/cvc4.5.in b/doc/cvc4.5.in index c8629bffa..d66110f63 100644 --- a/doc/cvc4.5.in +++ b/doc/cvc4.5.in @@ -13,8 +13,7 @@ to background theories of interest. .SH "SEE ALSO" .BR cvc4 (1), .BR libcvc4 (3), -.BR libcvc4parser (3), -.BR libcvc4compat (3) +.BR libcvc4parser (3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at diff --git a/doc/libcvc4.3.in b/doc/libcvc4.3.in index bf5fde577..279c18954 100644 --- a/doc/libcvc4.3.in +++ b/doc/libcvc4.3.in @@ -57,8 +57,7 @@ is used primarily to make assertions, check satisfiability/validity, and extract .SH "SEE ALSO" .BR cvc4 (1), -.BR libcvc4parser (3), -.BR libcvc4compat (3) +.BR libcvc4parser (3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at diff --git a/doc/libcvc4compat.3.in b/doc/libcvc4compat.3.in deleted file mode 100644 index fbb21e6a8..000000000 --- a/doc/libcvc4compat.3.in +++ /dev/null @@ -1,15 +0,0 @@ -.\" Process this file with -.\" groff -man -Tascii libcvc4compat.3 -.\" -.TH LIBCVC4COMPAT 3 "@MAN_DATE@" "CVC4 release @VERSION@" "CVC4 Library Interfaces" -.SH NAME -libcvc4compat \- a CVC3 compatibility library interface for the CVC4 theorem prover -.SH DESCRIPTION -.SH "SEE ALSO" -.BR cvc4 (1), -.BR libcvc4 (3), -.BR libcvc4parser (3) - -Additionally, the CVC4 wiki contains useful information about the -design and internals of CVC4. It is maintained at -.BR http://cvc4.cs.stanford.edu/wiki/ . diff --git a/doc/libcvc4parser.3.in b/doc/libcvc4parser.3.in index 7971a8822..f288daf83 100644 --- a/doc/libcvc4parser.3.in +++ b/doc/libcvc4parser.3.in @@ -7,8 +7,7 @@ libcvc4parser \- a parser library interface for the CVC4 theorem prover .SH DESCRIPTION .SH "SEE ALSO" .BR cvc4 (1), -.BR libcvc4 (3), -.BR libcvc4compat (3) +.BR libcvc4 (3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at diff --git a/doc/options.3cvc_template.in b/doc/options.3cvc_template.in index 477963036..7eb472a32 100644 --- a/doc/options.3cvc_template.in +++ b/doc/options.3cvc_template.in @@ -35,8 +35,7 @@ See the AUTHORS file in the distribution for a full list of contributors. .SH "SEE ALSO" .BR libcvc4 (3), -.BR libcvc4parser (3), -.BR libcvc4compat (3) +.BR libcvc4parser (3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at |