Rechercher une page de manuel
coq_makefile
Langue: en
Version: 110794 (mandriva - 01/05/08)
Section: 1 (Commandes utilisateur)
NAME
coq_makefile - The Coq Proof Assistant makefile generatorSYNOPSIS
coq_makefile [ arguments ]DESCRIPTION
coq_makefile is a makefile generator for Coq proof developments.
OPTIONS
- -h
- Will give you a description of the whole list of options of coq_makefile.
SEE ALSO
coqtop(1), coqtc(1), coqdep(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre