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]
ladr4-apps - undocumented LADR4 applications
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
The applications were written by William McCune <email@example.com>.
This manual page was written by Peter Collingbourne <firstname.lastname@example.org>,
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 email@example.com.Page load time: 0.086 seconds. Last modified: November 04 2018 12:49:43.