On 7/14/07, Jürgen Spitzmüller <[EMAIL PROTECTED]> wrote:
> It helps to remove the aux file and run again pdflatex. The same > problem occurs with the dvi button. In the LaTeX output, I see two > slashes just before the name of the aux file; I guess only one slash > should appear.This shouldn't matter.
The point, however, is that there is a bug. Paul
