Hints and tips for development of Proof General Eclipse

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/