SimpleIDE An IDE for GOAL based on JEdit. This is the top level that collects a number of modules: the IDE itself the jEdit code the OSX Adapter Please refer to the IDE module for further details.