Semantic Turkey Console

Лицензия	Лицензия BSD-3-Clause
Категории	Категории Ant Компиляция и сборка KeY Данные Data Formats Formal Verification
Группа	Группа it.uniroma2.art.semanticturkey
Идентификатор	Идентификатор st-console
Последняя версия	Последняя версия 11.1
Дата	Дата 23 июн. 2022 г.
Тип	Тип bundle
Описание	Описание Semantic Turkey Console Karaf's custom console for Semantic Turkey
Организация-разработчик	Организация-разработчик ART Group, University of Rome, Tor Vergata

Скачать st-console

Имя Файла	Размер
st-console-11.1.pom
st-console-11.1.jar	3 KB
st-console-11.1-sources.jar	2 KB
Обзор

Зависимости

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

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

Версия
11.1 23 июн. 2022 г.
10.2.1 7 февр. 2022 г.
10.2 26 янв. 2022 г.
10.1.1 28 окт. 2021 г.
10.1 21 сент. 2021 г.
10.0 2 авг. 2021 г.
9.1 28 апр. 2021 г.
9.0 17 мар. 2021 г.
8.0.1 9 окт. 2020 г.
8.0 29 июл. 2020 г.
7.0 6 февр. 2020 г.
6.0 27 июн. 2019 г.
5.0 30 янв. 2019 г.
4.0.2 27 июл. 2018 г.
4.0 23 июл. 2018 г.
3.0 8 февр. 2018 г.
2.0 31 окт. 2017 г.
1.0 28 сент. 2017 г.
0.12 14 янв. 2016 г.
0.11 4 мая 2015 г.
0.10 22 сент. 2014 г.