coq-emacs - Emacs mode for Coq
| Website: | http://coq.inria.fr/ |
|---|---|
| License: | GPLv2+ |
- Description:
Emacs mode for Coq.
Packages
| coq-emacs-8.2-5m.mo6.i686 [9 KiB] |
Changelog
by Masahiro Takahata (2009-06-27):
- (8.2-5m) - version up 8.2-1 |