Download mmt-informal-1.0.0.jar file - Jar m

Jar examples for m:mmt-informal

Description

You can download jar file mmt-informal 1.0.0 in this page.

Build File

You can use the following script to add mmt-informal-1.0.0.jar to your project.

<dependency>
   <groupId>info.kwarc.mmt</groupId>
   <artifactId>mmt-informal</artifactId>
   <version>1.0.0</version>
</dependency>
compile group: 'info.kwarc.mmt', name: 'mmt-informal', version: '1.0.0'
libraryDependencies += "info.kwarc.mmt" % "mmt-informal" % "1.0.0"
<dependency org="info.kwarc.mmt" name="mmt-informal" rev="1.0.0"/>
@Grapes(@Grab(group='info.kwarc.mmt', module='mmt-informal', version='1.0.0'))
'info.kwarc.mmt:mmt-informal:jar:1.0.0'

Download

Click the following link to download the jar file.

mmt-informal-1.0.0-sources.jar
mmt-informal-1.0.0.jar
mmt-informal-1.0.0.pom



Related Tutorials