Overture IDE Eclipse VDM Quick Interpreter feature

Providing GUI for all integrated core plugins

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

Скачать org.overture.ide.plugins.features.quickinterpreter

Имя Файла	Размер
org.overture.ide.plugins.features.quickinterpreter-3.0.2.pom
org.overture.ide.plugins.features.quickinterpreter-3.0.2.jar	4 KB
org.overture.ide.plugins.features.quickinterpreter-3.0.2-p2metadata.xml	6 KB
org.overture.ide.plugins.features.quickinterpreter-3.0.2-p2artifacts.xml	708 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 г.