[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: quotation marks [was Re: TUTORIAL.de updated]
From: |
Richard Stallman |
Subject: |
Re: quotation marks [was Re: TUTORIAL.de updated] |
Date: |
Sun, 22 Jan 2012 10:03:34 -0500 |
Noting that ASCII ` always was a grave accent, and never a quote,
it seems that the proper fix for TeXinfo is to add one or more @foo
commands to cover quotations which are not already covered.
Texinfo uses ` and ' for quotes because that is the convention
in TeX. This will not be changed.
--
Dr Richard Stallman
President, Free Software Foundation
51 Franklin St
Boston MA 02110
USA
www.fsf.org www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
Use free telephony http://directory.fsf.org/category/tel/
- Re: quotation marks [was Re: TUTORIAL.de updated], (continued)
- Re: quotation marks [was Re: TUTORIAL.de updated], Paul Eggert, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Alan Mackenzie, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Stephen J. Turnbull, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Eli Zaretskii, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Teemu Likonen, 2012/01/22
- Re: quotation marks, Ulrich Mueller, 2012/01/20
- Re: quotation marks, Juanma Barranquero, 2012/01/20
- RE: quotation marks, Drew Adams, 2012/01/20
- Re: quotation marks, Juanma Barranquero, 2012/01/20
- Re: quotation marks [was Re: TUTORIAL.de updated], James Cloos, 2012/01/20
- Re: quotation marks [was Re: TUTORIAL.de updated],
Richard Stallman <=
- Re: quotation marks [was Re: TUTORIAL.de updated], Stefan Monnier, 2012/01/20
- Re: quotation marks [was Re: TUTORIAL.de updated], Paul Eggert, 2012/01/20
- Re: quotation marks [was Re: TUTORIAL.de updated], Ted Zlatanov, 2012/01/20
- Re: quotation marks [was Re: TUTORIAL.de updated], Paul Eggert, 2012/01/20
- Re: quotation marks [was Re: TUTORIAL.de updated], Stephen J. Turnbull, 2012/01/21
- Re: quotation marks [was Re: TUTORIAL.de updated], Andreas Schwab, 2012/01/21
- Re: quotation marks [was Re: TUTORIAL.de updated], Stephen J. Turnbull, 2012/01/21
- Re: quotation marks [was Re: TUTORIAL.de updated], Tom Tromey, 2012/01/21
- Re: quotation marks [was Re: TUTORIAL.de updated], Ted Zlatanov, 2012/01/21
- Re: quotation marks [was Re: TUTORIAL.de updated], Ted Zlatanov, 2012/01/21