TWiki> PG Web>PGEclipseBuildRunRelease (revision 2)EditAttach

Notes on installation/packaging for PG Eclipse

  • Eclipse product vs application --- think product is standalone, needs proper jar bundles
    1. Choose Run/Debug from Run menu
    2. Select application: org.eclipse.ui.ide.workbench
    3. Make sure that ed.inf.proofgeneral plugin is included

  • Easiest way to run: select plugin and "Launch application" or "Launch Debug"
Edit | Attach | Print version | History: r5 < r4 < r3 < r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r2 - 27 Sep 2006 - 17:04:49 - 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