This wiki page is for making feature requests to the developers
of Proof General Eclipse. You need to
register on the wiki and logon first.
Please add (modest) feature requests to this page. Use a new
subject heading. Features should not be already mentioned
on PGEclipsePlans, PGEclipseFutureIdeas or the bug pages
(PGEclipseFixesNeeded and PGEclipseBugs). Describe clearly what you
want and why! Thanks!