]> git.lyx.org Git - lyx.git/search
Fix bug #7340: Missing german theorem 'Satz' by translating proposition with Satz