search

whonore / Coqtail

Interactive Coq Proofs in Vim
MIT License
274 stars 34 forks source link

fix: made edestruct a tactic keyword #346

Closed bn-peters closed 8 months ago

bn-peters commented 8 months ago

The edestruct tactic was not highlighted as a tactic.

whonore commented 8 months ago

Thanks. Feel free to add any other missing tactics or keywords that you notice.