Web Edit Plugin for MMT

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

Download mmt-webedit

Filename	Size
mmt-webedit-1.0.0.pom
mmt-webedit-1.0.0.jar	31 KB
mmt-webedit-1.0.0-sources.jar	8 KB
Browse

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

Versions

Version
1.0.0 Jun 11, 2014