elisp-coq-mode - Emacs mode for Coq
| Website: | http://coq.inria.fr/ |
|---|---|
| License: | GPLv2+ |
- Description:
Emacs mode for Coq.
Packages
| elisp-coq-mode-8.2pl1-3m.mo7.noarch [10 KiB] |
Changelog
by Yohsuke Ooi (2010-08-31):
- (8.2pl1-3m) - full rebuild for mo7 release |