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
History
- Debian 13 (Trixie): the text shown here
- Debian 6.0 (Squeeze) to Debian 3.1 (Sarge)