Last Version

MMT Adaptation of tiscaf library 1.0.0

License	License GNU General Public License (GPL)
GroupId	GroupId info.kwarc.mmt
ArtifactId	ArtifactId mmt-tiscaf
Version	Version 1.0.0
Type	Type bundle
Description	Description MMT Adaptation of tiscaf library MMT

Download mmt-tiscaf 1.0.0

Filename	Size
mmt-tiscaf-1.0.0.pom
mmt-tiscaf-1.0.0.jar	383 KB
mmt-tiscaf-1.0.0-sources.jar	60 KB
Browse

Dependencies

compile (1)

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

Project Modules