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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Jeremy Bryant <jb <at> jeremybryant.net>
Subject: bug#71234: closed (Re: bug#71234: PATCH for auctex manual to help
 new users)
Date: Mon, 27 May 2024 21:35:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#71234: PATCH for auctex manual to help new users

which was filed against the auctex package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 71234 <at> debbugs.gnu.org.

-- 
71234: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71234
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Arash Esbati <arash <at> gnu.org>
To: Jeremy Bryant via bug-auctex via Bug reporting list for AUCTeX
 <bug-auctex <at> gnu.org>
Cc: 71234-done <at> debbugs.gnu.org, Jeremy Bryant <jb <at> jeremybryant.net>
Subject: Re: 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

[Message part 3 (message/rfc822, inline)]

From: Jeremy Bryant <jb <at> jeremybryant.net>
To: bug-auctex <at> gnu.org
Subject: PATCH for auctex manual to help new users
Date: Mon, 27 May 2024 20:26:50 +0100

[Message part 4 (text/plain, inline)]

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

[0001-Clarify-manual-reference-to-prettify-symbols-mode.patch (text/x-diff, attachment)]

Previous Next

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