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/MMT problems
So, I have some massive problems with the MMT since today.
All the sudden, I get errors in all mmt files that no backend is applicable. I tried to reinstall and recompile the MMT, archives and jEdit - but it refuses to work.
Does anyone have an idea what could be wrong?
Hi Siggi,
Yes I had the same problem. I think in the file untyped_first-order-logic.mmt, the last two comments are closed with wrong delimiters (line 95 and 102). Replacing them with jDD fixed it for me
Unfortunately, that did not solve my problem.
However, beside the backend errors, imports in general seem to fail. For example, in lists.mmt I get, among other errors:
6:error while adding successfully parsed element http://kwarc.info/courses/krmt/examples?ListTypes: get error: no backend applicable to http://cds.omdoc.org/urtheories?LF
7:invalid object (unknown identifier: http://kwarc.info/courses/krmt/examples?TypedEqualityND): http://kwarc.info/courses/krmt/examples?TypedEqualityND
I don’t get why though, as yesterday I didn’t get those errors.
Sorry, that was rubbish. But somehow, for some time that worked. Now I get the same errors as you.
Siggi’s problem was resolved in the lecture.