org.overture.ide.plugins.coverageeditor

Providing GUI for all integrated core plugins

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

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

Имя Файла	Размер
org.overture.ide.plugins.coverageeditor-3.0.2.pom
org.overture.ide.plugins.coverageeditor-3.0.2.jar	28 KB
org.overture.ide.plugins.coverageeditor-3.0.2-sources.jar	14 KB
org.overture.ide.plugins.coverageeditor-3.0.2-p2metadata.xml	2 KB
org.overture.ide.plugins.coverageeditor-3.0.2-p2artifacts.xml	594 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 г.