updated to newest montimath version (!8) · Merge requests · monticore / EmbeddedMontiArc / generators / MathPrettyPrinter · GitLab

Updated to the newest montimath version @vonwenckstern, @kusmenko. Merge the Montimath first: monticore/EmbeddedMontiArc/languages/MontiMath!5 (merged), then EMAM: monticore/EmbeddedMontiArc/languages/EmbeddedMontiArcMath!6 (merged)