Poster of Linux kernelThe best gift for a Linux geek
LADR4-APPS

LADR4-APPS

Section: User Commands (1) Updated: August 12, 2007
Local index Up
 

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.html. 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).


 

Index

NAME
DESCRIPTION
AUTHOR

This document was created by man2html, using the manual pages.
Time: 21:23:54 GMT, April 16, 2011