TWiki
>
PG Web
>
PGEclipseDevelHints
(25 Aug 2008,
DavidAspinall
)
E
dit
A
ttach
Hints and tips for development of Proof General Eclipse
Use the Javadoc documentation
Help with Eclipse
Useful plugins for developers
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/
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r2
<
r1
|
B
acklinks
|
R
aw View
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r2 - 25 Aug 2008 - 16:01:40 -
DavidAspinall
PG
PG Web
PG Web Home
Changes
Index
Search
Notifications
RSS Feed
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