GNU.WIKI: The GNU/Linux Knowledge Base

  [HOME] [PHP Manual] [HowTo] [ABS] [MAN1] [MAN2] [MAN3] [MAN4] [MAN5] [MAN6] [MAN7] [MAN8] [MAN9]

  [0-9] [Aa] [Bb] [Cc] [Dd] [Ee] [Ff] [Gg] [Hh] [Ii] [Jj] [Kk] [Ll] [Mm] [Nn] [Oo] [Pp] [Qq] [Rr] [Ss] [Tt] [Uu] [Vv] [Ww] [Xx] [Yy] [Zz]


NAME

       ladr4-apps - undocumented LADR4 applications

DESCRIPTION

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

AUTHOR

       The applications were written by William McCune <mccune@cs.unm.edu>.

       This manual page was written by Peter Collingbourne  <peter@pcc.me.uk>,
       for the Debian project (but may be used by others).

                                August 12, 2007                  LADR4-APPS(1)



  All copyrights belong to their respective owners. Other content (c) 2014-2018, GNU.WIKI. Please report site errors to webmaster@gnu.wiki.
Page load time: 0.117 seconds. Last modified: November 04 2018 12:49:43.