#70 closed task (fixed)
Add documentation for developer-recommended plugins
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 6:web-and-docs | Keywords: | |
| Cc: |
Description (last modified by )
Suggested so far (ones I use):
- 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/
Change History (4)
comment:1 Changed 17 years ago by
| Description: | modified (diff) |
|---|---|
| Type: | defect → task |
comment:2 Changed 17 years ago by
| Milestone: | → PG-Eclipse-1.0.6 |
|---|
comment:3 Changed 16 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
See http://proofgeneral.inf.ed.ac.uk/wiki/PG/PGEclipseDevelHints