This is a collection of links to documentation surrounding the projects of the KWARC Group.
If the documentation you are looking for is not listed here, please add it yourself (use this repository) or inform a KWARCie about the circumstance.
- The main documentation for all things MMT is found here.
- There is also a list of common errors in the Wiki.
- Details on the IntelliJ-Plugin and the jEdit-Plugin.