Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
MMT update
Nachdem mehrere Leute Probleme zu haben scheinen: Mir sind ein paar mögliche Fehlerquellen eingefallen_
- Zuallererst, stellt bitte sicher, dass sowohl MMT als auch alle eure Archive (konkret: urtheories, LFX, MitM/Foundation und MitM/smglom) up-to-date sind.
- Stellt sicher, dass euer jEdit-Plugin up-to-date ist (siehe Anhang A hier: https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
- Um MitM/smglom zum laufen zu kriegen braucht ihr ein Plugin, das zwar bei MMT standardmäßig dabei, aber nicht aktiviert ist. Das könnt ihr ändern indem ihr entweder in der MMT Konsole eingebt
extension info.kwarc.mmt.odk.Pluginoder indem ihr diese Zeile in eine .msl-File schreibt, und diese als standard-msl file setzt (in jEdit unter Plugins → Plugin Options → MMT → custom startup msl file).
In ersterem Falle müsst ihr die Zeile jedes mal neu eingeben wenn ihr jEdit neu starten; mit ner msl-file reicht es das einmal in die Datei zu schreiben, dann könnt ihr es guten Gewissens vergessen 
Sollte das alles nicht helfen, bitte nochmal schreien, danke 
Danke, jetzt klappt alles