Rechercher une page de manuel

Chercher une autre page de manuel:

prover9-apps

Langue: en

Version: 148617 (fedora - 04/07/09)

Section: 1 (Commandes utilisateur)

NAME

prover9-apps - undocumented Prover9 applications

DESCRIPTION

Some programs in the prover9-apps package currently have no manual pages. You can obtain documentation on some of these applications via the prover9 manual, which is available 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 <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used by others) and modified for Fedora by Tim Colles <timc@inf.ed.ac.uk>.

JCB: "premiers-pas" c'est une enseigne [] pour les gens un peu paumés
LW: Sans compter qu'un groupe spécifique pour les questions des FAQ
permet de réaliser un robot qui maile 'RTFM' à chaque intervant.
-+- Laurent in guide du Linuxien pervers - "Soyons pratiques !" -+-