License |
License |
---|---|
GroupId | GroupIdinfo.kwarc.mmt |
ArtifactId | ArtifactIdmmt-stex |
Last Version | Last Version1.0.0 |
Release Date | Release Date |
Type | Typebundle |
Description |
DescriptionSTeX plugin for MMT
MMT
|
Filename | Size |
---|---|
mmt-stex-1.0.0.pom | |
mmt-stex-1.0.0.jar | 83 KB |
mmt-stex-1.0.0-sources.jar | 6 KB |
Browse |
Group / Artifact | Type | Version |
---|---|---|
info.kwarc.mmt : mmt-informal | jar | 1.0.0 |
org.scala-lang : scala-library | jar | 2.10.3 |