* David Kastrup (2006-04-22) writes: > We probably should include other interface languages apart from Dutch > and English?
AOL. I just have to dig up the respective command names. > Or is that covered by the interface= comment already? Nope. -- Ralf _______________________________________________ bug-auctex mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-auctex
