Jeremy Bryant via bug-auctex via Bug reporting list for AUCTeX <[email protected]> writes:
> Here is a patch for the manual to help new users enable > prettify-symbols-mode Thanks, installed, and closing. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
