MMT Bug ?

system · 30. November 2019 um 15:07

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.

algocrack · 30. November 2019 um 15:07

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

algocrack · 30. November 2019 um 16:08

Solved it. with this command: lmh install Tutorials/Mathematicians

Marcel_Inf · 30. November 2019 um 17:19

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.