Skip to content

Fix some more german rules - #686

Merged
moritz-gross merged 2 commits into
daisy:mainfrom
moritz-gross:fix-some-more-german-rules
Aug 15, 2026
Merged

Fix some more german rules#686
moritz-gross merged 2 commits into
daisy:mainfrom
moritz-gross:fix-some-more-german-rules

Improve German translations for unicode integral and logical symbols,…

f8a79ca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build and fuzz (with MathML dict + corpus cache)
succeeded Aug 15, 2026 in 2h 2m 46s