Not compiling
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.
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 Bug ?
Hello,
Last weeks, everything was fine with Jedit. Now I get some errors on the namespace.
I switched to IntelliJ, installed everything but the code does not compile. Not even the original code posted on Git.
Here is the error
error while adding successfully parsed element http://mathhub.info/lbs1920/plnq?World2: get error: no backend applicable to http://cds.omdoc.org/urtheories?LF
error in module: get error: no backend applicable to http://cds.omdoc.org/urtheories?LF
Any hint ?
Cheers
Solved it. with this command: lmh install Tutorials/Mathematicians
Here’s an explanation on what “no backend applicable” means: https://github.com/UniFormal/uniformal.github.io/wiki/Errors#userdev-no-backend-available-that-is-applicable-to-
You apparently correctly solved it by (transitively) installing the missing archive MMT/urtheories, which probably got pulled by Tutorials/Mathematicians as a dependency.