Hints about using Eclipse (for Proof General users)

Here are some notes about Eclipse and pointers to other web sites that may be useful for those starting out using or developing Proof General Eclipse. Please feel free to extend these notes with further hints and pointers.

If instead that there's something that you can't do in Eclipse but wish you could, maybe it deserves a mention on our GripesAboutEclipse page.

Useful tips

Set tab width to match Emacs

If you edit files with tabs in both Emacs and Eclipse, you'll notice the default tab indent is 4 characters in Eclipse but 8 in Emacs. Change it in Eclipse by going to Preferences -> Editors -> Text Editors (or search for "tab"). Edit "Displayed tab width".

Unfortunately this doesn't work too well with folding, which seems to default to 4 spaces again. As a work around, use spaces instead of tabs in files (or change Emacs to use 4 spaces as well).

Other plugins of interest

Here are some other plugins that may be of interest.

Name Purpose Website Eclipse update site
Texlipse LaTeX development http://texlipse.sourceforge.net http://texlipse.sourceforge.net
Subclipse Subversion support http://subclipse.tigris.org http://subclipse.tigris.org/update_1.2.x
EclipseFP Function programming http://eclipsefp.sourceforge.net http://eclipsefp.sf.net/updates
RDT Ruby development http://rubyeclipse.sourceforge.net http://updatesite.rubypeople.org/release
Eclipse Desktop World domination http://www.eclipsedesktop.org http://eclipsedesktop.org/updates
Topic revision: r3 - 28 Feb 2007 - 13:37:19 - 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