Proof General Eclipse Feature Requests

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!