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.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 71234 in the body.
You can then email your comments to 71234 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-auctex <at> gnu.org:
bug#71234; Package auctex. (Mon, 27 May 2024 19:28:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Jeremy Bryant <jb <at> jeremybryant.net>:
New bug report received and forwarded. Copy sent to bug-auctex <at> gnu.org. (Mon, 27 May 2024 19:28:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

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 1 (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)]
Information forwarded to bug-auctex <at> gnu.org:
bug#71234; Package auctex. (Mon, 27 May 2024 21:35:01 GMT) Full text and rfc822 format available.

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

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
Reply sent to Arash Esbati <arash <at> gnu.org>:
You have taken responsibility. (Mon, 27 May 2024 21:35:02 GMT) Full text and rfc822 format available.
Notification sent to Jeremy Bryant <jb <at> jeremybryant.net>:
bug acknowledged by developer. (Mon, 27 May 2024 21:35:02 GMT) Full text and rfc822 format available.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Tue, 25 Jun 2024 11:24:07 GMT) Full text and rfc822 format available.
This bug report was last modified 1 year and 44 days ago.

Previous Next

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