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!

Topic revision: r2 - 12 Oct 2006 - 11:29:54 - 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