Frank, please don't take this discussion off the list again. I and likely other AUCTeX developers are interested in it as well. By discussing it in private you are taking away from us the possibility to comment and voice our opinion if we see a need for it.
-- Ralf _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
