tags 558101 + unreproducible moreinfo thanks. I have never been able to reproduce this bug. From what Michal Sojka found I think the observed behavior could have been due to a local customization of the TeX-command-list variable.
I think this bug can be closed, and I will do so if I won't receive any more info. -- Regards, Davide -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org