org.overture.ide.plugins.externaleditor

Providing GUI for all integrated core plugins

Лицензия	Лицензия GNU General Public License (GPL) version 3
Категории	Категории IDE Инструменты разработки
Группа	Группа org.overturetool.ide.plugins
Идентификатор	Идентификатор org.overture.ide.plugins.externaleditor
Последняя версия	Последняя версия 3.0.2
Дата	Дата 10 нояб. 2020 г.
Тип	Тип eclipse-plugin
Описание	Описание org.overture.ide.plugins.externaleditor Providing GUI for all integrated core plugins
Организация-разработчик	Организация-разработчик Overture

Скачать org.overture.ide.plugins.externaleditor

Имя Файла	Размер
org.overture.ide.plugins.externaleditor-3.0.2.pom
org.overture.ide.plugins.externaleditor-3.0.2.jar	9 KB
org.overture.ide.plugins.externaleditor-3.0.2-sources.jar	5 KB
org.overture.ide.plugins.externaleditor-3.0.2-p2metadata.xml	2 KB
org.overture.ide.plugins.externaleditor-3.0.2-p2artifacts.xml	592 bytes
Обзор

Зависимости

test (1)

Идентификатор библиотеки	Тип	Версия
junit : junit	jar	3.8.1

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
3.0.2 10 нояб. 2020 г.
3.0.0 28 авг. 2020 г.
2.7.4 16 мар. 2020 г.
2.7.2 30 сент. 2019 г.
2.7.0 3 июн. 2019 г.
2.6.4 29 окт. 2018 г.
2.6.2 18 мая 2018 г.
2.6.0 16 февр. 2018 г.
2.5.6 11 дек. 2017 г.
2.5.4 10 нояб. 2017 г.
2.5.2 11 сент. 2017 г.
2.5.0 10 авг. 2017 г.
2.4.8 5 июн. 2017 г.
2.4.6 3 мар. 2017 г.
2.4.4 2 дек. 2016 г.
2.4.2 6 окт. 2016 г.
2.4.0 29 авг. 2016 г.
2.3.8 4 июл. 2016 г.