Letter C

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.x86_64 [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