1PROVER9-APPS(1)             General Commands Manual            PROVER9-APPS(1)
2
3
4

NAME

6       prover9-apps - undocumented Prover9 applications
7

DESCRIPTION

9       Some  programs  in  the  prover9-apps  package currently have no manual
10       pages.  You can obtain documentation on some of these applications  via
11       the  prover9 manual, which is available via the package prover9-doc, at
12       /usr/share/doc/prover9-doc/manual/index.html.   Alternatively  invoking
13       the  application  with  the  -help  option  may  produce documentation.
14       Patches to add manual pages are welcome, and may be sent to the  Debian
15       package maintainer, whose details are listed below.
16

AUTHOR

18       The applications were written by William McCune <mccune@cs.unm.edu>.
19
20       This    manual    page    was    written    by    Peter   Collingbourne
21       <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used  by  oth‐
22       ers) and modified for Fedora by Tim Colles <timc@inf.ed.ac.uk>.
23
24
25
26                                 June 18, 2008                 PROVER9-APPS(1)
Impressum