coq_makefile1
Generate makefiles for coq proof development
Usage
coq_makefile [arguments]
Overview
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.
Releases
13 releases since Debian 3.0 (Woody); the text changed 4 times.