JarCasting
JarCasting JarCasting

Project Group: org.bitbucket.goalhub.simpleide

jedit

 org.bitbucket.goalhub.simpleide : jedit

jEdit editor, modified for use inside the SimpleIDE.

Last Version: 2.2.0

Release Date:

simpleidemodules

 org.bitbucket.goalhub.simpleide : simpleidemodules

An IDE for GOAL based on JEdit.

Last Version: 2.2.0

Release Date:

  • 1