Download mmt-stex-1.0.0.jar file

Description

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

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

<dependency>
   <groupId>info.kwarc.mmt</groupId>
   <artifactId>mmt-stex</artifactId>
   <version>1.0.0</version>
</dependency>

compile group: 'info.kwarc.mmt', name: 'mmt-stex', version: '1.0.0'

libraryDependencies += "info.kwarc.mmt" % "mmt-stex" % "1.0.0"

<dependency org="info.kwarc.mmt" name="mmt-stex" rev="1.0.0"/>

@Grapes(@Grab(group='info.kwarc.mmt', module='mmt-stex', version='1.0.0'))

'info.kwarc.mmt:mmt-stex:jar:1.0.0'

Click the following link to download the jar file.