STeX plugin for MMT 1.0.0

MMT

License	GNU General Public License (GPL)
GroupId	info.kwarc.mmt
ArtifactId	mmt-stex
Version	1.0.0
Type	bundle
Description	STeX plugin for MMT MMT

Download mmt-stex 1.0.0

Filename	Size
mmt-stex-1.0.0.pom
mmt-stex-1.0.0.jar	83 KB
mmt-stex-1.0.0-sources.jar	6 KB

Dependencies

compile (2)

Group / Artifact	Type	Version
info.kwarc.mmt : mmt-informal	jar	1.0.0
org.scala-lang : scala-library	jar	2.10.3

Project Modules

There are no modules declared in this project.