Planetary Plugin for MMT

MMT

License	GNU General Public License (GPL)
Categories	Net
GroupId	info.kwarc.mmt
ArtifactId	planetary-mmt
Last Version	1.0.0
Release Date	Jun 11, 2014
Type	bundle
Description	Planetary Plugin for MMT MMT

Download planetary-mmt

Filename	Size
planetary-mmt-1.0.0.pom
planetary-mmt-1.0.0.jar	210 KB
planetary-mmt-1.0.0-sources.jar	8 KB

Dependencies

compile (3)

Group / Artifact	Type	Version
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

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.0 Jun 11, 2014