Prerequisites

This plugin works with eclipse 2.1 only, which you must have installed. The plugin has not been updated for eclipse 3.0, sorry.

Installing the plug-in

Two way of allowing BETA to interoperate with Java exists: through JNI and compiling BETA to Java bytecodes. The first approach was JNI but this is now obsolete (the old download page is here).

Installing the BETA IDE for Eclipse

Follow the three steps below to install the plug-in

download betaeditor.zip and unzip same place that eclipse is installed. I.e. if Eclipse is installed in C:\eclipse then unzip in C:\
Copy the icons and beta folders into the newly created folder daimi.betaeditor_1.0.0 (located in the Eclipse plugin folder)
Install the BETA system in the workspace folder of the Eclipse installation. Place it in a folder called betalib in the workspace - i.e. workspace\betalib\