(r16) ProofGeneralEclipse < PG

PG Web>ProofGeneralKit>ProofGeneralEclipse (revision 16) (raw view)~~EditAttach~~

---+ Proof General Eclipse 

[[http://www.eclipse.org][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.  

See: 

   * General Information
      * PGEclipseFixesNeeded - current problems with the system
      * NotesAboutEclipse - some useful notes and pointers on PGEclipse for Proof General users
      * %N% PGEclipseScreenshots - showing the new product in action
   * User Assistance
      * PGEclipseInstall (and PGEclipseInstallProbs)- installation instructions
      * PGEclipseUserDocumentation - user documentation
      * (also [[http://proofgeneral.inf.ed.ac.uk/eclipse/][on the main Proof General pages]] in less detail).
      * GripesAboutEclipse - some complaints about Eclipse, particularly from those moving from Emacs
   * Development documentation
      * PGEclipseFutureIdeas - ideas for future functionality
      * PGEclipseFixesMade - problems solved in the latest releases
      * PGEclipseDevelopment - help with developing Proof General

Topic revision: r16 - 18 Feb 2007 - 12:15:00 - DavidAspinall

Copyright © 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