diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-29 16:19:01 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-29 16:19:01 +0000 |
commit | 304bdf18169ab0070ddbd6d4c9ebea8be46314b1 (patch) | |
tree | aafd60116b04155a8affd917c05eb7f39462351e /doc/options.3cvc_template.in | |
parent | 90351f11da6c36184a3f6339ce066038459026a1 (diff) |
draft RELEASE-NOTES file, and minor release stuff
Diffstat (limited to 'doc/options.3cvc_template.in')
-rw-r--r-- | doc/options.3cvc_template.in | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/doc/options.3cvc_template.in b/doc/options.3cvc_template.in new file mode 100644 index 000000000..8ee39b761 --- /dev/null +++ b/doc/options.3cvc_template.in @@ -0,0 +1,39 @@ +.\" Process this file with +.\" groff -man -Tascii options.3cvc4 +.\" +.TH OPTIONS 3cvc4 "@MAN_DATE@" "CVC4 release @VERSION@" "CVC4 Internals Documentation" +.SH NAME +options \- the options infrastructure + +.SH AVAILABLE INTERNAL OPTIONS + +.RS +.TP 10 +.I "COMMON OPTIONS" +${common_manpage_internals_documentation} + +${remaining_manpage_internals_documentation} +.PD +.RE + +.SH VERSION +This manual page refers to +.B CVC4 +version @VERSION@. +.SH BUGS +A Bugzilla for the CVC4 project is maintained at +.BR http://church.cims.nyu.edu/bugzilla3/ . +.SH AUTHORS +.B CVC4 +is developed by a team of researchers at New York University +and the University of Iowa. +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) + +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/ . |