Reviews
Improve readability of escape characters in ELisp regular expressions
Search similar apps
License
GNU General Public License v3.0
Related apps
company-coq
A Coq IDE build on top of Proof General's Coq mode
Emacs Lisp353gpl-3.0
2 years ago
company-modecoqemacs