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)