Hi,
sorry for the noise, but I cannot post to auctex-devel via gmane while
all other gmane groups work fine. So I need to check if it's the same
for auctex-user.
Bye,
Tassilo
___
auctex mailing list
auctex@gnu.org
Hello Ralf,
Quite some time ago I had submitted a contribution to have mark
environment and mark section commands for Texinfo also. I made an update
of AUCTeX recently and I realized that they are still not in the CVS
tree...
I attach again the patch made at that time, but certainly the diff was
