Группа библиотек: org.bitbucket.goalhub.simpleide

jedit

org.bitbucket.goalhub.simpleide : jedit

jEdit editor, modified for use inside the SimpleIDE.

Последняя версия: 2.2.0

Дата: 15 дек. 2020 г.

org.bitbucket.goalhub.simpleide : simpleidemodules

An IDE for GOAL based on JEdit.

Последняя версия: 2.2.0

Дата: 15 дек. 2020 г.