Hi Reuben, thank you for your analysis. I need some time to think about it and decide if it should be forwarded upstream; meanwhile I suggest you to read point 8 of AUCTeX 11.87 FAQ, and, more generally, bug #695282. I think that would fix your problem.
-- Ciao, Davide -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
