Pavel Sanda wrote: > Bernd Schubert wrote: >> Of course this character is not supposed to be there, but it really >> should not crash, but only show an undecodable character. It even took me >> some time to figure out where the problem is, as it didn't show any >> problem and only crashed when I wanted to see dvi output. Took me some >> time to figure out where the problem is... > > could you create new bug report and attach the problematic file there? > pavel
Sorry, didn't have time during the last days. Did that now. If I should find some time, I will also look into it myself. Thanks, Bernd
