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