STeX plugin for MMT

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

Скачать mmt-stex

Имя Файла	Размер
mmt-stex-1.0.0.pom
mmt-stex-1.0.0.jar	83 KB
mmt-stex-1.0.0-sources.jar	6 KB
Обзор

Зависимости

compile (2)

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

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

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

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