Rechercher une page de manuel
coqtop.opt
Langue: en
Version: 110801 (mandriva - 01/05/08)
Section: 1 (Commandes utilisateur)
Sommaire
NAME
coqtop.opt - The native-code Coq toplevelSYNOPSIS
coqopt.opt [ options ] [ file ]DESCRIPTION
coqopt.opt is the native-code version of Coq. It should not be called directly, but only by coqtop and coqc
SEE ALSO
coqtop(1), coqc(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre