The Coq mailing list

[Jim Fehrle <jfehrle AT sbcglobal.net>]

Hi Talia,

IntelliJ has extensive support for plugins (in Java): https://www.jetbrains.org/intellij/sdk/docs/welcome.html.  The community edition of IntelliJ is free.  (I use the ReasonML plugin, which provide syntax highlighting and structure analysis for OCaml.)  I've used IntelliJ for many years--feel to ask me more about it.

Eclipse: https://www.eclipse.org/pde/

VSCode (open source, derived from Microsoft Visual Studio): https://code.visualstudio.com/docs/extensions/overview

Of course, the interesting questions are how easy each one is to work with and which one best suits your purposes.

Hope this helps.

Jim

---

From: Talia Ringer <tringer AT cs.washington.edu>
To: Coq-Club <coq-club AT inria.fr>
Sent: Thursday, October 18, 2018 12:13 PM
Subject: [Coq-Club] Writing extensions/plugins for different Coq IDEs

Hi all,

I'm looking to write an IDE extension or plugin for proof development in Coq, and I'm curious if anyone knows where to look to find information on which IDEs support extensions or plugins, and how to go about writing them. Examples would be very useful, too. Please let me know if you can point me toward any of this.

Best,

Talia