The Coq mailing list

[Andrew Pennebaker <andrew.pennebaker AT gmail.com>]

Does anyone know where I can get a TextMate tmbundle for Coq? The TextMate Bundle repository doesn't seem to have one.

In the mean time, I'll use the OCaml tmbundle. At least it highlights Coq comments.

Cheers,

Andrew Pennebaker

www.yellosoft.us