GNU bug report logs - #71234
PATCH for auctex manual to help new users

Previous Next

Package: auctex;

Reported by: Jeremy Bryant <jb <at> jeremybryant.net>

Date: Mon, 27 May 2024 19:28:01 UTC

Severity: normal

Done: Arash Esbati <arash <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Arash Esbati <arash <at> gnu.org>
To: 71234 <at> debbugs.gnu.org
Cc: 71234-done <at> debbugs.gnu.org, Jeremy Bryant <jb <at> jeremybryant.net>
Subject: bug#71234: PATCH for auctex manual to help new users
Date: Mon, 27 May 2024 23:34:17 +0200

Jeremy Bryant via bug-auctex via Bug reporting list for AUCTeX <bug-auctex <at> gnu.org> writes:

> Here is a patch for the manual to help new users enable
> prettify-symbols-mode

Thanks, installed, and closing.

Best, Arash
This bug report was last modified 1 year and 45 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.