mmt.jarfrom UniFormal/MMT’s release page
git clone https://github.com/UniFormal/MMT.git, then
git fetch --all,
git checkout devel
In case you want to compile MMT to a self-contained single binary
mmt.jar, refer to building
mmt.jar with SBT here.
If you want to formalize things in MMT’s language (“MMT surface syntax”) with pretty syntax highlighting, follow these steps:
In IntelliJ you can now create (and open existing) “MathHub projects”.
Every MathHub project stores the path to an
mmt.jar in its project files.
Hence, if you are a developer and made changes to the MMT repository you cloned above, do not expect those changes to be reflected when working with the MMT plugin. You need to rebuild an
mmt.jar first. Beware that you need to reopen IntelliJ for the file overwriting of
mmt.jar to be possible and to take effect.
Alternatively — not recommended to beginners, you can still use jEdit as your development IDE. See this article describing the setup of jEdit with MMT.
Some users or applications require running MMT from CLI. If you only want to use MMT from within IntelliJ IDEA, you can skip this step.
cdto the location of your
java -jar mmt.jar
This triggers the setup dialog which does the following:
Further instructions for setting up jEdit are available here.
You may want to rerun this setup when having updated
java -jar mmt.jar :setup
However, rerunning the full setup is usually not necessary. To update your jEdit instance, execute
java -jar mmt.jar :jeditsetup install.