Letter C

coq-xemacs - XEmacs mode for Coq

Website: http://coq.inria.fr/
License: GPLv2+
Description:
XEmacs mode for Coq.

Packages

coq-xemacs-8.2-7m.mo6.i686 [9 KiB] Changelog by TABUCHI Takaaki (2009-07-30):
- (8.2-7m)
- rebuild against emacs 23.1

Listing created by Repoview-0.6.4-1m.mo6