MMT

Semantic Alliance Framework (v.4)

License	License GNU General Public License (GPL)
GroupId	GroupId info.kwarc.sally4.mhw
ArtifactId	ArtifactId mhw-mmt
Last Version	Last Version 1.0.0
Release Date	Release Date Jan 6, 2015
Type	Type bundle
Description	Description MMT Semantic Alliance Framework (v.4)
Project URL	Project URL http://gl.kwarc.info/sally4-mhw/sally-mhw/mhw-mmt

Download mhw-mmt

Filename	Size
mhw-mmt-1.0.0.pom
mhw-mmt-1.0.0.jar	19 KB
mhw-mmt-1.0.0-sources.jar	6 KB
mhw-mmt-1.0.0-javadoc.jar	53 KB
Browse

Dependencies

compile (8)

Group / Artifact	Type	Version
info.kwarc.sally4.mhw : mhw-base	jar	1.0.0
info.kwarc.mmt : mmt-informal	jar	1.0.1-SNAPSHOT
info.kwarc.mmt : mmt-webedit	jar	1.0.1-SNAPSHOT
info.kwarc.mmt : planetary-mmt	jar	1.0.1-SNAPSHOT
info.kwarc.mmt : mmt-stex	jar	1.0.1-SNAPSHOT
org.scala-lang : scala-library	jar	2.10.3
org.scala-lang.modules : scala-xml_2.11.0-RC4	jar	1.0.1
info.kwarc.mmt : mmt-tiscaf	jar	1.0.1-SNAPSHOT

provided (1)

Group / Artifact	Type	Version
org.slf4j : slf4j-simple	jar	1.7.7

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.0 Jan 6, 2015