search

whonore / Coqtail

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

use \k instead of [:alnum:] #229

Closed tomtomjhj closed 3 years ago

tomtomjhj commented 3 years ago

Removed a remaining [:alnum:] that survived #184.