Eclipse (http://www.eclipse.org) is an extensible IDE platform. This project extends Eclipse with a BETA IDE.
Since a powerfull BETA IDE (the MjølnerTool) exists, the integration process is mostly concerned with language interoperability - reusing the exisisting BETA code in the Eclipse Java framework.
The MjølnerTool supports (see Mjolner System for reference):
The interoperability between Java and BETA is done by compiling the BETA code to Java bytecodes and thereby allowing BETA patterns to be extended by Java classes, Java classes to be extended by BETA patterns, referencing Java objects from BETA and vice versa. This allows for a tight integration of the BETA code into Eclipse.
The features of the BETA IDE are as follows:
.bet
filesTAB
keyDownload and install the BETA IDE plug-in from here.