[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Help with etags

From: N. Raghavendra
Subject: Re: Help with etags
Date: Sat, 09 Dec 2017 19:03:02 +0530
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.60 (gnu/linux)

At 2017-12-08T12:28:33+02:00, Eli Zaretskii wrote:

> This works for me:
>   etags --language=none
> --regex="/[[:space:]]*Definition[[:space:]\n]+[[:space:]]*\([[:alnum:]_]+\)[[:space:]]*\n/\1/m"
> Homotopies.v

Thank you.  I tried that regex on my files.  It produces a tags table,
but when I use the table, and do M-. at an identifier, it takes me to
the wrong places in the files.

Meanwhile, I found the Perl program `coqtags', distributed with Emacs
Proof General, for tagging Coq files, such as the ones I am trying to
tag, and it works well.

Kind regards,

N. Raghavendra <>,
Harish-Chandra Research Institute,

reply via email to

[Prev in Thread] Current Thread [Next in Thread]