Hi Michael,
Looks like this needs to be reported upstream (http://www.texmacs.org/).
You can fix it for yourself by editing this file:
/usr/share/texmacs/TeXmacs/langs/natural/dic/english-german.scm
Hi Michael,
Looks like this needs to be reported upstream (http:// www.texmacs. org/).
You can fix it for yourself by editing this file:
/usr/share/ texmacs/ TeXmacs/ langs/natural/ dic/english- german. scm