coq-emacs - Emacs mode for Coq
| Website: | http://coq.inria.fr/ |
|---|---|
| License: | GPLv2+ |
- Description:
Emacs mode for Coq.
Packages
| coq-emacs-8.2-7m.mo6.i686 [9 KiB] |
Changelog
by TABUCHI Takaaki (2009-07-30):
- (8.2-7m) - rebuild against emacs 23.1 |