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.
View this message in rfc822 format
From: help-debbugs <at> gnu.org (GNU bug Tracking System) To: Arash Esbati <arash <at> gnu.org> Cc: tracker <at> debbugs.gnu.org Subject: bug#71234: closed (PATCH for auctex manual to help new users) Date: Mon, 27 May 2024 21:35:02 +0000
[Message part 1 (text/plain, inline)]
[Message part 2 (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 3 (text/plain, inline)][0001-Clarify-manual-reference-to-prettify-symbols-mode.patch (text/x-diff, attachment)]
[Message part 5 (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
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.