STeX plugin for MMT

MMT

License

License

GroupId

GroupId

info.kwarc.mmt
ArtifactId

ArtifactId

mmt-stex
Last Version

Last Version

1.0.0
Release Date

Release Date

Type

Type

bundle
Description

Description

STeX plugin for MMT
MMT

Download mmt-stex

Dependencies

compile (2)

Group / Artifact Type Version
info.kwarc.mmt : mmt-informal jar 1.0.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