MMT

Semantic Alliance Framework (v.4)

Лицензия	Лицензия GNU General Public License (GPL)
Группа	Группа info.kwarc.sally4.mhw
Идентификатор	Идентификатор mhw-mmt
Последняя версия	Последняя версия 1.0.0
Дата	Дата 6 янв. 2015 г.
Тип	Тип bundle
Описание	Описание MMT Semantic Alliance Framework (v.4)
Ссылка на сайт	Ссылка на сайт http://gl.kwarc.info/sally4-mhw/sally-mhw/mhw-mmt

Скачать mhw-mmt

Имя Файла	Размер
mhw-mmt-1.0.0.pom
mhw-mmt-1.0.0.jar	19 KB
mhw-mmt-1.0.0-sources.jar	6 KB
mhw-mmt-1.0.0-javadoc.jar	53 KB
Обзор

Зависимости

compile (8)

Идентификатор библиотеки	Тип	Версия
info.kwarc.sally4.mhw : mhw-base	jar	1.0.0
info.kwarc.mmt : mmt-informal	jar	1.0.1-SNAPSHOT
info.kwarc.mmt : mmt-webedit	jar	1.0.1-SNAPSHOT
info.kwarc.mmt : planetary-mmt	jar	1.0.1-SNAPSHOT
info.kwarc.mmt : mmt-stex	jar	1.0.1-SNAPSHOT
org.scala-lang : scala-library	jar	2.10.3
org.scala-lang.modules : scala-xml_2.11.0-RC4	jar	1.0.1
info.kwarc.mmt : mmt-tiscaf	jar	1.0.1-SNAPSHOT

provided (1)

Идентификатор библиотеки	Тип	Версия
org.slf4j : slf4j-simple	jar	1.7.7

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

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

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

Версия
1.0.0 6 янв. 2015 г.