Rechercher une page de manuel

Chercher une autre page de manuel:

acl2

Langue: en

Version: October 26, 2002 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

NAME

acl2 - A Computational Logic

SYNOPSIS

acl2

DESCRIPTION

This manual page documents briefly the acl2 command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page. Instead, it has documentation in the GNU Info format as well as in html format. These are included in the acl2-doc package. The documentation can also be found at the project's website, http://www.cs.utexas.edu/users/moore/acl2, both in html form and in postscript.

AUTHOR

This manual page was written by Camm Maguire, <camm@enhanced.com>, for the Debian GNU/Linux system (but may be used by others).
Le language : "A l'an 3000 les gens vont se parler avec,..., les yeux,
des ondes. Ne me prend pas pour un fou les baleines le font, les
dauphins aussi. Ce sont des animaux très intelligents dans la mer. Nous
on vit dans la terre. Et eux se communiquent, vu qu'ils ne savent pas
parler dans l'eau, ils sont forcés d'utiliser des ondes, des ondes de
love ou de hate et la communication se fait comme ça."
-+- Jean-Claude VanDamme -+-