Web Edit Plugin for MMT

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

Скачать mmt-webedit

Имя Файла	Размер
mmt-webedit-1.0.0.pom
mmt-webedit-1.0.0.jar	31 KB
mmt-webedit-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 г.