search

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring
11 stars 6 forks source link

Is there any recommendable editor for Coq? #22

Closed fortunist closed 9 years ago

fortunist commented 9 years ago

It seems that CoqIDE is very inconvenient to use for editing coq files. (ex : not support auto-indent) I found an eclipse plugin named coqoon, but it does not work properly. Could you recommend any coq editor which has auto-indent, syntax coloring, coqIDE plugin, etc? (except Vim, for windows...)

jeehoonkang commented 9 years ago

I personally use ProofGeneral on Emacs: http://proofgeneral.inf.ed.ac.uk/

alkaza commented 9 years ago

Does the professor use ProofGeneral as well?

On Tue, Mar 17, 2015 at 1:08 PM, Jeehoon Kang notifications@github.com wrote:

I personally use ProofGeneral on Emacs: http://proofgeneral.inf.ed.ac.uk/

— Reply to this email directly or view it on GitHub https://github.com/snu-sf/pl2015/issues/22#issuecomment-82091229.

jeehoonkang commented 9 years ago

@alkaza Yes.

ksami commented 9 years ago

I've found a plugin for Sublime Text but it has a few bugs on Windows. If you're interested I can send you the files once I've patched it for Windows.

whoknowwhat commented 9 years ago

Coq.vim and coquille are nice combination for Vim.