emacs-coq-mode - Emacs mode for Coq
| Website: | http://coq.inria.fr/ |
|---|---|
| License: | GPLv2+ |
- Description:
Emacs mode for Coq.
Packages
| emacs-coq-mode-8.3pl2-1m.mo8.noarch [23 KiB] |
Changelog
by NARITA Koichi (2011-12-19):
- (8.3pl2-1m) - update to 8.3pl2 |