Proof General Eclipse

Eclipse is an open source IDE originally developed by IBM. It started as a Java development environment, but has been re-engineered to be a general-purpose development environment. Plugins are available that provide state-of-the-art tools for working with a wide range of systems and projects. The Proof General Eclipse plugin supports theorem provers using the PGIP protocol.



  • Eclipse PG screenshot:

  • The symbol table editor in Eclipse:

  • A tooltip generated from JavaDoc-style comments in the proof script:
Edit | Attach | Print version | History: r19 | r15 < r14 < r13 < r12 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r13 - 30 Oct 2006 - 16:16:27 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies