MMT Parent Project

MMT

License	GNU General Public License (GPL)
GroupId	info.kwarc.mmt
ArtifactId	mmt
Last Version	1.0.0
Release Date	Jun 11, 2014
Type	pom
Description	MMT Parent Project MMT

Download mmt

Filename	Size
mmt-1.0.0.pom	6 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/info.kwarc.mmt/mmt/ -->
<dependency>
    <groupId>info.kwarc.mmt</groupId>
    <artifactId>mmt</artifactId>
    <version>1.0.0</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/info.kwarc.mmt/mmt/
implementation 'info.kwarc.mmt:mmt:1.0.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/info.kwarc.mmt/mmt/
implementation ("info.kwarc.mmt:mmt:1.0.0")

Apache Buildr

'info.kwarc.mmt:mmt:pom:1.0.0'

Apache Ivy

<dependency org="info.kwarc.mmt" name="mmt" rev="1.0.0">
  <artifact name="mmt" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='info.kwarc.mmt', module='mmt', version='1.0.0')
)

Scala SBT

libraryDependencies += "info.kwarc.mmt" % "mmt" % "1.0.0"

Leiningen

[info.kwarc.mmt/mmt "1.0.0"]

Dependencies

compile (1)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.10.3

Project Modules

• tiscaf
• mmt-api/branches/mmt-informal
• mmt-webEdit
• mmt-stex
• planetary-mmt

Versions

Version
1.0.0 Jun 11, 2014