Running CVS-5.502, when I press the " key **in front of a dollar sign**, as it
blah -point-$x$
where -point- indicated where current cursor is, I seem to get a ",
instead of the expected ``.
Is this a bug or a feature? I have CVS-5.475 running on my laptop and
it does not seem to do that there...
Ideas are welcom...
--Boris
_______________________________________________
bug-auctex mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-auctex
