Rechercher une page de manuel
coqtop.byte
Langue: en
Version: 110800 (mandriva - 01/05/08)
Section: 1 (Commandes utilisateur)
Sommaire
NAME
coqtop.byte - The bytecode Coq toplevelSYNOPSIS
coqtop.byte [ options ] [ file ]DESCRIPTION
coqopt.byte is the bytecode 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