[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: quotation marks [was Re: TUTORIAL.de updated]
From: |
James Cloos |
Subject: |
Re: quotation marks [was Re: TUTORIAL.de updated] |
Date: |
Fri, 20 Jan 2012 07:01:29 -0500 |
User-agent: |
Gnus/5.110018 (No Gnus v0.18) Emacs/24.0.92 (gnu/linux) |
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.
Adding @quote{} as a generic mechanism would be the starting point,
to specify locale-specific quoting. Those locale details can be found
in the glibc src. Separating semantics from presentation in document
sources is a beneficial goal.
Atoms with more specific semantics could be added in the furture.
(As a side note, Knuth(, et al?)’s choice of `' and ``'' instead of
a \command{} is one of the *very* few details I think he (they?) got
wrong. I presume that TeXinfo’s usage derives from TeX’s.)
(It was most tempting to use Έλλενικ ΤεΧ instead of Latin TeX. :)
(I hope »Έλλενικ« is the correct declension.)
(And apologies for the abundance of parenthetical postscripts. ;)
-JimC
--
James Cloos <address@hidden> OpenPGP: 1024D/ED7DAEA6
- Re: quotation marks [was Re: TUTORIAL.de updated], (continued)
- 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 <=
- Re: quotation marks [was Re: TUTORIAL.de updated], Richard Stallman, 2012/01/22
- 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