Fragen, Bugs bei Nutzen von jEdit mit MMT
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.
jEdit und MMT
Hier ein neuer Thread für das Nutzen von jEdit mit MMT zusammen, den ich leider gleich mit einem Problem anfangen muss 
Ich bin dabei, das offizielle MMT-Tutorial zu jEdit durchzugehen: https://uniformal.github.io/doc/tutorials/jedit/index.html. Bei Schritt 2 kommen nach exakter Eingabe in fol.mmt jedoch folgende Fehlermeldungen:
[quote]D:\Documents__UnsyncedUni\LBS\MMT\content\tutorial\source\fol.mmt
1:error while adding successfully parsed element: get error: backend: no backend available that is applicable to file:/D:/Documents/__UnsyncedUni/LBS/MMT/content/tutorial/source/fol.mmt
1:error with unknown location: parse error: unknown error: class info.kwarc.mmt.api.GetError: get error: backend: no backend available that is applicable to file:/D:/Documents/__UnsyncedUni/LBS/MMT/content/tutorial/source/fol.mmt[/quote]
Siehe Anhang für die Einstellungen in jEdit unter Plugins → Plugin Optionen → MMT.
fol.mmt habe ich unter [m]D:\Documents__UnsyncedUni\LBS\MMT\content\tutorial\source\fol.mmt[/m] gespeichert. Unter [m]D:\Documents__UnsyncedUni\LBS\MMT\content\tutorial\META_INF\MANIFEST.MF[/m] liegt auch genau das Manifest aus dem Tutorial.
Attachment:
jEdit-MMT-Settings.PNG: https://fsi.cs.fau.de/unb-attachments/post_153959/jEdit-MMT-Settings.PNG
ou weiah, das sieht wieder nach windows-problemen aus… ich geb das mal an unseren Windows-Menschen weiter…