MMT Informal

MMT

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

Скачать mmt-informal

Имя Файла	Размер
mmt-informal-1.0.0.pom
mmt-informal-1.0.0.jar	4 MB
mmt-informal-1.0.0-sources.jar	652 KB
Обзор

Зависимости

compile (5)

Идентификатор библиотеки	Тип	Версия
org.tmatesoft.svnkit : svnkit	jar	1.8.3-1
info.kwarc.mmt : mmt-tiscaf	jar	1.0.0
org.scala-lang : scala-compiler	jar	2.10.3
org.scalatest : scalatest_2.10	jar	2.2.0
org.scala-lang : scala-library	jar	2.10.3

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

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

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

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