Closed kohlhase closed 2 years ago
It signals the error that various environments do not close.
e.g. in MiKoProblems/AI/source/prolog/mod/csp-map-coloring.en.tex or MiKoProblems/AI/source/prolog/mod/tree-search.en.tex
MiKoProblems/AI/source/prolog/mod/csp-map-coloring.en.tex
MiKoProblems/AI/source/prolog/mod/tree-search.en.tex
Indeed, the problem was the %-characters in URLs. Fixed (in the upcoming MMT commit)
%
It signals the error that various environments do not close.
e.g. in
MiKoProblems/AI/source/prolog/mod/csp-map-coloring.en.tex
orMiKoProblems/AI/source/prolog/mod/tree-search.en.tex