MMT Adaptation of tiscaf library

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

Скачать mmt-tiscaf

Имя Файла	Размер
mmt-tiscaf-1.0.0.pom
mmt-tiscaf-1.0.0.jar	383 KB
mmt-tiscaf-1.0.0-sources.jar	60 KB
Обзор

Зависимости

compile (1)

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

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

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

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