java --version
)git --help
works)mmt.jar
from UniFormal/MMT’s release pagejava --version
)git --help
works)git clone https://github.com/UniFormal/MMT.git
, then cd MMT
, git fetch --all
, git checkout devel
mmt/src
(choose “SBT”).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.
cd
to the location of your mmt.jar
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 mmt.jar
: 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
.