The Coq mailing list

[Alexandre Pilkiewicz <alexandre.pilkiewicz AT polytechnique.org>]

I really think you only have two choices to edit coq files: coqide or
Proof General (emacs). Writing Coq proofs without the interactive
feature is just hopeless, so I really doubt someone wrote something
for other editors.

Cheers,
Alexandre

On Wed, Nov 2, 2011 at 6:31 PM, Andrew Pennebaker
<andrew.pennebaker AT gmail.com>
 wrote:
> 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