MMT Informal

MMT

License	License GNU General Public License (GPL)
Categories	Categories ORM Data
GroupId	GroupId info.kwarc.mmt
ArtifactId	ArtifactId mmt-informal
Last Version	Last Version 1.0.0
Release Date	Release Date Jun 11, 2014
Type	Type bundle
Description	Description MMT Informal MMT

Download mmt-informal

Filename	Size
mmt-informal-1.0.0.pom
mmt-informal-1.0.0.jar	4 MB
mmt-informal-1.0.0-sources.jar	652 KB
Browse

Dependencies

compile (5)

Group / Artifact	Type	Version
org.tmatesoft.svnkit : svnkit	jar	1.8.3-1
info.kwarc.mmt : mmt-tiscaf	jar	1.0.0
org.scala-lang : scala-compiler	jar	2.10.3
org.scalatest : scalatest_2.10	jar	2.2.0
org.scala-lang : scala-library	jar	2.10.3

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.0 Jun 11, 2014