PGEclipseDevelHints < PG

PG Web>PGEclipseDevelHints (25 Aug 2008, DavidAspinall) (raw view)EditAttach

---+!! Hints and tips for development of Proof General Eclipse

%TOC%

---++ Use the Javadoc documentation

   * See http://proofgeneral.inf.ed.ac.uk/Kit/eclipse/javadoc/ (warning: probably out of date)

---++ Help with Eclipse

   * http://help.eclipse.org/help32/index.jsp - main help system (also within Eclipse)

---++ Useful plugins for developers

   * TPTP (profiling and static analysis): http://www.eclipse.org/tptp/
   * !FindBugs (bug patterns): http://findbugs.sourceforge.net/
   * Mylar (task management): http://www.eclipse.org/mylar/
   * !AnyEdit Tools (whitespace cleanup and char conversions): http://andrei.gmxhome.de/anyedit/
   * Eclipse webtools (editing HTML, XML, XSL): http://www.eclipse.org/webtools/

Topic revision: r2 - 25 Aug 2008 - 16:01:40 - 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