Planetary Plugin for MMT

Лицензия	Лицензия GNU General Public License (GPL)
Категории	Категории Сеть
Группа	Группа info.kwarc.mmt
Идентификатор	Идентификатор planetary-mmt
Последняя версия	Последняя версия 1.0.0
Дата	Дата 11 июн. 2014 г.
Тип	Тип bundle
Описание	Описание Planetary Plugin for MMT MMT

Скачать planetary-mmt

Имя Файла	Размер
planetary-mmt-1.0.0.pom
planetary-mmt-1.0.0.jar	210 KB
planetary-mmt-1.0.0-sources.jar	8 KB
Обзор

Зависимости

compile (3)

Идентификатор библиотеки	Тип	Версия
info.kwarc.mmt : mmt-informal	jar	1.0.0
info.kwarc.mmt : mmt-stex	jar	1.0.0
org.scala-lang : scala-library	jar	2.10.3

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

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

Версия
1.0.0 11 июн. 2014 г.