Jeremy Bryant via bug-auctex via Bug reporting list for AUCTeX <bug-auctex@gnu.org> 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 bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
