coqtags1
Tags generator for coq files for emacs
Usage
coqtags <filenames>
Overview
- Generates the TAGS file used by Emacs for a Coq project.
<filenames>-
the names of the files for which to generate the TAGS file
Releases
5 releases since Debian 3.1 (Sarge); the text changed 1 time.