search

whonore / Coqtail

Interactive Coq Proofs in Vim
MIT License
271 stars 35 forks source link

Highlight "dependent" in "generalize dependent" #343

Closed guidanoli closed 5 months ago

guidanoli commented 6 months ago

https://coq.inria.fr/doc/V8.18.0/refman/proof-engine/tactics.html#coq:tacn.generalize-dependent

guidanoli commented 6 months ago

@whonore

whonore commented 5 months ago

Looks good, thanks.