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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

