search

Ailrun / coq-commenter

Coq commenter for Emacs
GNU General Public License v3.0
6 stars 2 forks source link

Fix parsing regex #5

Closed Ailrun closed 7 years ago