This plugin works with eclipse 2.1 only, which you must have
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
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.