Support for Coq language

[josemachino]

Coq has a formal language to write mathematical definitions. But having dumb-jump to support .v files will help. Thanks

[jacktasia]

Thanks for opening the issue. I am open to supporting Coq, but I have zero experience with it.

What keywords are important?

As far as I can tell:

• Variable
• Inductive
• Lemma
• Definition
• Hypothesis
• Theorem
• Fixpoint
• Module (edit)
• CoInductive (edit)

Anything else?

Additionally, as far as I can tell the structure is always Keyword X (where Keyword is a word in the list above, and X is what you would want to jump from/to). Correct?

[josemachino]

Hi thanks you for your support, yes it is correct, Also the keyword Module, CoInductive. Have a good weekend.

[jacktasia]

@josemachino Dump Jump with Coq support is now on MELPA. Sorry for taking so long to add this. I tested with @jwiegley's category-theory and it seems to work well, but please let me know if you run into any issues or have any ideas for enhancements. Thanks!

[jwiegley]

@jacktasia Thanks, I'll definitely give this a try. :)

[jwiegley]

Seems to be working very well!

[jacktasia]

Seems to be working very well!

Glad to hear it! Thanks for letting me know. Please don't hesitate to let me know of any issues or ideas for improvements going forward.