logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

coqtags - tags generator for Coq files for Emacs

Contents

Description

       Generates the TAGS file used by Emacs for a Coq project.

       <filenames>
              the names of the files for which to generate the TAGS file

coqtags                                             Aug 2023                                          COQTAGS(1)

Name

       coqtags - tags generator for Coq files for Emacs

Synopsis

coqtags<filenames>

See Also

Man Pages
tags Man Pages
Man Pages
emacs Man Pages
Files
Files PNG Icons
Filing
Filing PNG Icons
MCP
Generator Mcp
Man Pages
names Man Pages
Man Pages
names Man Pages
Man Pages
generate Man Pages
← View User commands Category← Back to Compilers and assemblers🙏  Credits & Acknowledgments