MMT

Semantic Alliance Framework (v.4)

License

License

GroupId

GroupId

info.kwarc.sally4.mhw
ArtifactId

ArtifactId

mhw-mmt
Last Version

Last Version

1.0.0
Release Date

Release Date

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

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