jEdit editor, modified for use inside the SimpleIDE.
An IDE for GOAL based on JEdit.
Advertisement
Top Dependency Usages