On Tuesday 20 Sep 2011 20:40:49 Helmut Karlowski wrote: > > > I need your config, because this does not happen here. > > > > I attached it. > > Still no luck (tried with trunk-20092011.tar.bz2), which qed is it? Does it > only happen with qed? Now that you mention it, indeed it happens only with qed (5.05). JFL -- Jean-François Lemaire