The PEPA Plug-in Project

How to download and install the PEPA Plug-in Project

The graphical user interface is deployed as an Eclipse feature. You must have installed the Eclipse IDE already. If you don't have Eclipse, visit the Eclipse downloads page and download the distribution that suits you best. The instructions refer to Eclipse IDE for Java Developers.

The PEPA Plug-in Project is known to work with Eclipse 3.3 (Europa), 3.4 (Ganymede), and 3.5 (Galileo). It has been built against Java 1.5 and, with certain known issues surrounding SWT on OS X, is compatible with Windows, Linux (specifically tested against Fedora Core 6) and OS X 10.4 and 10.5

Note for Leopard users (10.5): There does not currently exist a 64-bit version of SWT. Therefore, you cannot use Java 1.6 with Eclipse if you are using 10.5 on an Intel machine.

Installation on Eclipse Galileo

  1. Select Help > Install New Software. The wizard dialogue box that pops up will assist you through the installation process.
  2. Step 1
  3. Follow the link Available Software Sites. Make sure that the update sites listed in the following figure are listed and enabled. Notice that GEF (http://download.eclipse.org/tools/gef/updates/releases/) and the PEPA update site (http://groups.inf.ed.ac.uk/pepa/update/) need to be added manually

    Step 2

    Note for Ganymede users (Eclipse 3.4): The interface of the Update Manager is slightly different. It may be accessed from Help > Software Updates..., and the update sites are added in the Available Software tab.

  4. In the installation wizard, select the Eclipse PEPA Plugin.
    Step 3
  5. Click Next and accept the terms of the licence agreement before clicking on Finish.
  6. Once installation is complete Eclipse will strongly recommend you to restart the system. Now you are ready to use the plug-in.