Closed kohlhase closed 3 years ago
I have a suspicion: the HelloWorld examples are not built. What do I have to do do build them. There should be a auto-build feature in MathHub.
Yes that's exactly what is happening. Previously, those pages would show a 404 error, the MMT backend now just returns a pseudo-response with the empty text.
Oh, and opening the /MathHub/HelloWorld/MMT/{fol,pl}.mmt into IntelliJ gives me errors I am not sure I understand. @tkw1536 could you have a look?
Content problems are something @Jazzpirate should look at.
no longer the case
https://beta.mathhub.info/library/archive?id=HelloWorld%2FMMT&modules=&dedclarations= says "no content", but there are two MMT files in the archive. What happens?