I can confirm this. In addition, the auctex package in Ubuntu is outdated. 11.85 is out for more than a year.
I can confirm this. In addition, the auctex package in Ubuntu is outdated. 11.85 is out for more than a year.