unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Ivan Shmakov <ivan@siamics.net>
To: bug-texinfo@gnu.org, emacs-devel@gnu.org
Subject: Re: texi2html output validity
Date: Tue, 23 Dec 2014 17:21:01 +0000	[thread overview]
Message-ID: <87tx0mffk2.fsf@violet.siamics.net> (raw)
In-Reply-To: <20141223164911.GD5623@free.fr> (Patrice Dumas's message of "Tue,  23 Dec 2014 17:49:11 +0100")

>>>>> Patrice Dumas <pertusus@free.fr> writes:
>>>>> On Tue, Dec 23, 2014 at 09:29:07PM +0700, Yuri Khan wrote:

 >>> • the <code /> element is /always/ used instead of <tt />;

 >> Cursory reading of HTML.pm seems to indicate that <tt> is
 >> currently*** used for @key, @t, @verb, and some kinds of tables
 >> possibly related to @example, @smallexample, @lisp and @smalllisp.

 > Use of <tt> in @example, @smallexample, @lisp and @smalllisp is for
 > very special case, something like a @table nested in those formats.

	Could you please clarify this one?  Aren’t @example,
	etc. supposed to be used to format code examples?  If so, –
	the proper HTML element for their contents /is/ <code />.

[…]

 >> @key should be rendered as <kbd>, possibly with an additional class.
 >> Yes, even when inside @kbd — HTML allows and encourages nesting
 >> <kbd>.

 > I am not convinced.  @key is semantically very diferent from @kbd
 > which is the same as <kbd>.  Indeed <kbd> is not for a keyboard key
 > in HTML, but for typed keyboard input.

	The <kbd /> element is for both [1]:

    When the kbd element is nested inside another kbd element, it
    represents an actual key or other single unit of input as
    appropriate for the input mechanism.

    Here the kbd element is used to indicate keys to press:

<p>To make George eat an apple, press <kbd><kbd>Shift</kbd>+<kbd>F3</kbd></kbd></p>

[1] http://www.w3.org/TR/html5/text-level-semantics.html#the-kbd-element

[…]

 >> @verb is syntax sugar for escaping characters which have special
 >> meaning in Texinfo, and has a non-semantic side effect of
 >> fixed-width rendering.  It probably should become a
 >> <span class="verb">.

 > Once again this will only work if there is CSS support.  <tt> should
 > always work.  That being said, the best could be <tt class="verb">.

	I have no data on the actual usage of the @verb command, but if
	it’s used primarily for code fragments, <code class="verb" />
	would still be a better choice.

	Please note that in HTML, a “code fragment” is given a very
	broad definition [2]:

    The code element represents a fragment of computer code.  This could
    be an XML element name, a file name, a computer program, or any
    other string that a computer would recognize.

[2] http://www.w3.org/TR/html5/text-level-semantics.html#the-code-element

[…]

 > I may have missed something, but in the specification of 4.01
 > Transitional all the element you describe as needing to be dropped
 > are accepted?  I see them all in
 > http://www.w3.org/TR/html401/sgml/loosedtd.html

	The problem is that for a couple of months now, the most recent
	HTML version is HTML5, and it does /not/ specify these elements.

	Granted, there’re browsers which still support these, but I
	could easily imagine a new browser project being started that
	would just ignore all the cruft that was already scheduled to be
	removed back in the 20th century.

 > Also, I think that, at least in the past, I checked the validity of
 > texi2html/makinfo output with some program and the HTML was valid.

 > We in fact choose that DTD in order to have a good rendering both in
 > old and new browser,

	Is there a list of “old” browsers that Texinfo is bound to
	support and /why/?  Is it, say, still deemed worthwhile to
	support Arena and Mosaic?

 > with or without CSS.

	The nice thing about the (current) browsers with limited or no
	support for CSS is that they tend to lack support for fonts, and
	sometimes even for alignment, image borders (or images
	altogether), and such.  So, I expect there to be no actual loss
	in presentation after moving the formatting from HTML to CSS.

	Feel free to suggest counter-examples, though, – I by no means
	am a Web browser expert.

[…]

-- 
FSF associate member #7257  http://boycottsystemd.org/  … 3013 B6A0 230E 334A



  reply	other threads:[~2014-12-23 17:21 UTC|newest]

Thread overview: 575+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-12-17 17:54 Have you all gone crazy? Was: On being web-friendly and why info must die Sven Axelsson
2014-12-17 18:16 ` Paul Eggert
2014-12-17 18:17 ` David Kastrup
2014-12-17 21:14   ` Stefan Monnier
2014-12-17 21:17     ` David Kastrup
2014-12-17 22:14       ` Stefan Monnier
2014-12-17 22:43         ` Óscar Fuentes
2014-12-18  3:45         ` Eli Zaretskii
2014-12-18  7:40           ` Sven Axelsson
2014-12-19 20:26         ` Phillip Lord
2014-12-19 20:52           ` Yuri Khan
2014-12-19 21:29             ` Óscar Fuentes
2014-12-19 21:35           ` Stefan Monnier
2014-12-17 18:29 ` Allen S. Rout
2014-12-19 20:42   ` Phillip Lord
2014-12-19 21:15     ` Jay Belanger
2014-12-19 21:32       ` David Kastrup
2014-12-19 21:22     ` David Kastrup
2014-12-20  7:30     ` Stephen J. Turnbull
2014-12-20  8:27       ` David Kastrup
2014-12-20 10:22         ` Stephen J. Turnbull
2014-12-20 11:10           ` Lennart Borgman
2014-12-20 11:45             ` David Kastrup
2014-12-20 11:49               ` Lennart Borgman
2014-12-21 10:56                 ` Richard Stallman
2014-12-20 14:26             ` Stephen J. Turnbull
2014-12-20 14:35               ` Lennart Borgman
2014-12-20 16:36                 ` David Kastrup
2014-12-20 16:47                 ` Stephen J. Turnbull
2014-12-20 17:23                   ` Lennart Borgman
2014-12-20 18:03                     ` Stephen J. Turnbull
2014-12-20 19:06                       ` Lennart Borgman
2014-12-21 10:56             ` Richard Stallman
2014-12-20 11:35           ` David Kastrup
2014-12-20 14:48             ` Stephen J. Turnbull
2014-12-21 10:56             ` Richard Stallman
2014-12-21 11:05               ` David Kastrup
2014-12-21 16:47                 ` Drew Adams
2014-12-21 17:10                   ` David Kastrup
2014-12-21 17:33                   ` Sven Axelsson
2014-12-21 17:50                     ` Lennart Borgman
2014-12-21 18:01                       ` David Kastrup
2014-12-21 23:35                         ` Lennart Borgman
2014-12-21 17:43                   ` Lennart Borgman
2014-12-21 17:57                     ` David Kastrup
2014-12-22  2:30                       ` Yuri Khan
2014-12-22  8:58                         ` David Kastrup
2014-12-22 17:37                           ` Yuri Khan
2014-12-22 18:23                             ` Lennart Borgman
2014-12-23  9:27                             ` Steinar Bang
2014-12-23 10:15                               ` Lennart Borgman
2014-12-23 10:55                                 ` [OT] HTML5 Ivan Shmakov
2014-12-23 12:41                                 ` Have you all gone crazy? Was: On being web-friendly and why info must die Steinar Bang
2014-12-23 12:50                                   ` Lennart Borgman
2014-12-23 14:35                                   ` Yuri Khan
2014-12-23 14:52                                     ` Lennart Borgman
2014-12-24  9:55                                       ` Richard Stallman
2014-12-23 10:37                           ` texi2html output validity Ivan Shmakov
2014-12-23 10:44                             ` Lennart Borgman
2014-12-23 16:55                               ` Patrice Dumas
2014-12-23 21:57                                 ` Lennart Borgman
2014-12-23 14:29                             ` Yuri Khan
2014-12-23 14:59                               ` Lennart Borgman
2014-12-23 15:37                               ` Ivan Shmakov
2014-12-23 16:08                                 ` Yuri Khan
2014-12-23 16:49                               ` Patrice Dumas
2014-12-23 17:21                                 ` Ivan Shmakov [this message]
2014-12-23 18:38                                   ` Gavin Smith
2014-12-23 17:23                                 ` David Kastrup
2014-12-23 17:59                                 ` Yuri Khan
2014-12-24  3:27                                   ` Stephen J. Turnbull
2014-12-25 14:05                                     ` Ineiev
2014-12-25 15:58                                       ` Stephen J. Turnbull
2014-12-25 16:58                                         ` Ineiev
2014-12-25 17:09                                           ` Stephen J. Turnbull
2014-12-25 17:30                                             ` Ineiev
2014-12-25 17:45                                               ` Stephen J. Turnbull
2014-12-25 13:58                                   ` Ineiev
2014-12-23 18:14                                 ` Gavin Smith
2014-12-22  8:12                 ` Have you all gone crazy? Was: On being web-friendly and why info must die Richard Stallman
2014-12-22  8:12                 ` HTML-Info design Richard Stallman
2014-12-22  8:31                   ` Yuri Khan
2014-12-22  9:23                   ` Achim Gratz
2014-12-22  9:42                   ` Stephen J. Turnbull
2014-12-22  9:56                     ` David Kastrup
2014-12-22 10:36                     ` Nic Ferrier
2014-12-22 11:56                       ` Jan Djärv
2014-12-22 12:49                         ` Lennart Borgman
2014-12-22 13:14                           ` David Kastrup
2014-12-22 13:21                           ` Jan Djärv
2014-12-22 13:29                             ` Lennart Borgman
2014-12-22 13:35                               ` Lennart Borgman
2014-12-22 14:27                                 ` David Engster
2014-12-22 14:33                                   ` Lennart Borgman
2014-12-22 14:39                                     ` David Engster
2014-12-22 14:44                                       ` Lennart Borgman
2014-12-22 14:54                                         ` David Engster
2014-12-22 15:00                                           ` Lennart Borgman
2014-12-22 22:18                                 ` Nic Ferrier
2014-12-22 18:33                               ` Jan Djärv
2014-12-22 13:57                         ` Tom
2014-12-22 14:17                           ` Lennart Borgman
2014-12-22 14:41                             ` Tom
2014-12-22 14:46                               ` Lennart Borgman
2014-12-22 18:36                           ` Jan Djärv
2014-12-22 22:22                         ` Nic Ferrier
2014-12-23  7:34                           ` Jan D.
2014-12-23 15:34                             ` Richard Stallman
2014-12-23 15:49                               ` Lennart Borgman
2014-12-24  9:55                                 ` Richard Stallman
2014-12-22 15:52                       ` Eli Zaretskii
2014-12-22 22:06                         ` Nic Ferrier
2014-12-23  3:53                           ` Eli Zaretskii
2014-12-23  7:58                             ` Nic Ferrier
2014-12-23 18:26                               ` Eli Zaretskii
2014-12-23 15:32                             ` Richard Stallman
2014-12-23 16:00                               ` David Kastrup
2014-12-23 16:39                                 ` Stephen J. Turnbull
2014-12-24  9:56                                 ` Richard Stallman
2014-12-23 18:48                               ` Eli Zaretskii
2014-12-24  9:56                                 ` Richard Stallman
2014-12-24 16:33                                   ` Eli Zaretskii
2014-12-24 16:54                                     ` Lennart Borgman
2014-12-23 19:26                               ` Nic Ferrier
2014-12-23 17:02                             ` Stefan Monnier
2014-12-23 17:18                               ` Dmitry Gutov
2014-12-23 19:32                                 ` Nic Ferrier
2014-12-23 21:20                                   ` Dmitry Gutov
2014-12-23 22:16                                     ` Nic Ferrier
2014-12-24  0:23                                       ` David Kastrup
2014-12-24  9:56                                       ` Richard Stallman
2014-12-24 11:36                                         ` Nic Ferrier
2014-12-24 18:00                                           ` Richard Stallman
2014-12-26 11:07                                             ` Steinar Bang
2014-12-26 16:48                                               ` Lennart Borgman
2014-12-26 19:20                                                 ` Steinar Bang
2014-12-26 21:52                                                   ` Lennart Borgman
2014-12-27 11:04                                                     ` Steinar Bang
2014-12-27 13:40                                                       ` Phillip Lord
2014-12-28 12:53                                                         ` Steinar Bang
2014-12-26 21:56                                               ` Richard Stallman
2014-12-24  9:56                                   ` Richard Stallman
2014-12-24  2:37                                 ` Stefan Monnier
2014-12-23 18:57                               ` Eli Zaretskii
2014-12-23 19:40                                 ` Nic Ferrier
2014-12-23 20:41                                   ` Eli Zaretskii
2014-12-23 21:09                                     ` Nic Ferrier
2014-12-24 16:12                                       ` Eli Zaretskii
2014-12-25 15:39                                         ` Richard Stallman
2014-12-25 15:49                                           ` Nic Ferrier
2014-12-26 11:11                                             ` Richard Stallman
2014-12-26 22:07                                               ` Nic Ferrier
2014-12-27 22:54                                                 ` Richard Stallman
2014-12-27 23:00                                                   ` Lennart Borgman
2014-12-28 23:57                                                     ` Richard Stallman
2014-12-27 23:31                                                   ` Nic Ferrier
2014-12-28  7:13                                                     ` David Kastrup
2014-12-28  9:59                                                       ` Nic Ferrier
2014-12-28 12:49                                                         ` Steinar Bang
2014-12-28 23:58                                                         ` Richard Stallman
2014-12-29  0:15                                                           ` Nic Ferrier
2014-12-29 22:34                                                         ` Filipp Gunbin
2014-12-30  8:59                                                           ` soap-client (Was: HTML-Info design) Michael Albinus
2014-12-28 10:06                                                       ` HTML-Info design David Kastrup
2014-12-28 12:34                                                         ` Nic Ferrier
2014-12-28 13:06                                                           ` David Kastrup
2014-12-28 14:08                                                             ` Nic Ferrier
2014-12-28 23:57                                                     ` Richard Stallman
2014-12-29  0:08                                                       ` Nic Ferrier
2014-12-28  1:10                                                   ` Stefan Monnier
2014-12-28 10:04                                                     ` Nic Ferrier
2014-12-28 13:36                                                     ` Lars Ingebrigtsen
2014-12-28 14:13                                                       ` Nic Ferrier
2014-12-28 14:20                                                         ` David Kastrup
2014-12-28 15:00                                                           ` Lars Ingebrigtsen
2014-12-28 16:44                                                             ` Nic Ferrier
2014-12-28 17:31                                                               ` Ivan Shmakov
2014-12-28 18:00                                                                 ` Search engines (was: HTML-Info design) Lars Ingebrigtsen
2014-12-28 18:47                                                                   ` Lennart Borgman
2014-12-29 16:28                                                                   ` Eli Zaretskii
2014-12-29 16:37                                                                     ` Search engines Lars Ingebrigtsen
2014-12-29 17:52                                                                       ` Lennart Borgman
2014-12-28 14:57                                                         ` HTML-Info design Lars Ingebrigtsen
2014-12-28 16:54                                                           ` Nic Ferrier
2014-12-28 17:24                                                             ` Lars Ingebrigtsen
2014-12-28 19:43                                                               ` Steinar Bang
2014-12-28 20:00                                                                 ` Lars Ingebrigtsen
2014-12-28 21:25                                                                   ` Steinar Bang
2014-12-28 21:45                                                                     ` [OT] HTML5 Ivan Shmakov
2014-12-29  3:31                                                                   ` HTML-Info design Yuri Khan
2014-12-29 11:40                                                                     ` Lars Ingebrigtsen
2014-12-29 12:12                                                                       ` Nic Ferrier
2014-12-29 12:18                                                                         ` David Kastrup
2014-12-29 14:40                                                                           ` Steinar Bang
2014-12-29 12:31                                                                         ` Lars Ingebrigtsen
2014-12-29 14:24                                                                           ` Ivan Shmakov
2014-12-29 14:35                                                                           ` Steinar Bang
2014-12-29 14:36                                                                       ` Yuri Khan
2014-12-29 10:59                                                                 ` Thien-Thi Nguyen
2015-02-26 23:43                                                                   ` Thien-Thi Nguyen
2015-03-02 17:20                                                                     ` Phillip Lord
2015-03-02 17:45                                                                       ` Yuri Khan
2015-03-02 17:58                                                                         ` Phillip Lord
2015-03-02 18:12                                                                           ` Yuri Khan
2015-03-04 12:19                                                                             ` Phillip Lord
2015-03-04 12:51                                                                               ` Yuri Khan
2014-12-29  0:14                                                             ` Stefan Monnier
2014-12-29  9:18                                                               ` Achim Gratz
2014-12-29 13:49                                                                 ` Stefan Monnier
2014-12-29 13:50                                                                 ` Stefan Monnier
2014-12-29 14:06                                                                 ` Stefan Monnier
2014-12-29 23:24                                                               ` Richard Stallman
2014-12-28 19:45                                                         ` Ivan Shmakov
2014-12-28 20:51                                                       ` Stefan Monnier
2014-12-28 21:08                                                         ` David Kastrup
2014-12-28 21:32                                                           ` Saving default font? (was: HTML-Info design) David Kastrup
2014-12-28 21:39                                                             ` Saving default font? Lars Ingebrigtsen
2014-12-28 23:04                                                         ` HTML-Info design Lars Ingebrigtsen
2014-12-28 23:08                                                           ` Lars Ingebrigtsen
2014-12-28 23:45                                                             ` Paul Eggert
2014-12-29  0:01                                                               ` Nic Ferrier
2014-12-29 11:35                                                               ` Lars Ingebrigtsen
2014-12-29  3:32                                                           ` Eli Zaretskii
2014-12-29  7:28                                                             ` Steinar Bang
2014-12-29 10:48                                                               ` Lars Ingebrigtsen
2014-12-29 15:51                                                               ` Eli Zaretskii
2014-12-29  7:55                                                             ` bug#19462: shr: use wrap-prefix when possible, instead of filling the text Ivan Shmakov
2014-12-29  9:55                                                               ` Ivan Shmakov
2014-12-29 14:17                                                               ` word-wrap and wrapping before window-width (was: bug#19462: shr: use wrap-prefix when possible, instead of filling the text) Stefan Monnier
2014-12-29 15:01                                                                 ` word-wrap and wrapping before window-width Ivan Shmakov
2014-12-29 20:02                                                                   ` Eli Zaretskii
2014-12-30  3:12                                                                     ` Stefan Monnier
2014-12-30 18:50                                                                       ` Eli Zaretskii
2014-12-31  2:56                                                                         ` Ivan Shmakov
2014-12-30 17:47                                                                     ` Stefan Monnier
2014-12-31  3:17                                                                     ` Ivan Shmakov
2014-12-31  3:44                                                                       ` Eli Zaretskii
2014-12-31  6:15                                                                         ` Ivan Shmakov
2014-12-31 16:20                                                                           ` Eli Zaretskii
2014-12-31 16:37                                                                             ` Ivan Shmakov
2014-12-31 17:18                                                                               ` Eli Zaretskii
2014-12-31 17:55                                                                                 ` Ivan Shmakov
2014-12-31 18:38                                                                                   ` Eli Zaretskii
2014-12-31 18:57                                                                                     ` Ivan Shmakov
2014-12-31 19:10                                                                                       ` Eli Zaretskii
2014-12-29 19:59                                                                 ` word-wrap and wrapping before window-width (was: bug#19462: shr: use wrap-prefix when possible, instead of filling the text) Eli Zaretskii
2014-12-30  3:04                                                                   ` word-wrap and wrapping before window-width Stefan Monnier
2015-12-25 17:34                                                               ` bug#19462: shr: use wrap-prefix when possible, instead of filling the text Lars Ingebrigtsen
2015-12-25 18:43                                                                 ` Clément Pit--Claudel
2015-12-25 18:55                                                                   ` Lars Ingebrigtsen
2015-12-25 22:48                                                                     ` Clément Pit--Claudel
     [not found]                                                               ` <87bn9ezb2h.fsf__43673.6617972658$1451064984$gmane$org@gnus.org>
2015-12-26  9:13                                                                 ` Ivan Shmakov
2014-12-29 10:41                                                             ` HTML-Info design Lars Ingebrigtsen
2014-12-29 11:25                                                               ` Ivan Shmakov
2014-12-29 11:33                                                                 ` Lars Ingebrigtsen
2014-12-29 12:20                                                                   ` Ivan Shmakov
2014-12-29 12:36                                                                     ` Lars Ingebrigtsen
2014-12-29 13:13                                                                       ` Lennart Borgman
2014-12-29 13:45                                                                       ` Ivan Shmakov
2014-12-29 13:56                                                                         ` Lars Ingebrigtsen
2014-12-29 14:02                                                                           ` Lennart Borgman
2014-12-29 16:25                                                                             ` Lars Ingebrigtsen
2014-12-29 14:35                                                                           ` Ivan Shmakov
2014-12-29 16:11                                                                         ` Eli Zaretskii
2014-12-29 16:33                                                                           ` Lars Ingebrigtsen
2014-12-29 18:21                                                                           ` Stefan Monnier
2014-12-29 18:35                                                                             ` Ivan Shmakov
2014-12-29 23:16                                                                               ` Stefan Monnier
2014-12-30  5:47                                                                                 ` Ivan Shmakov
2014-12-29 16:06                                                                     ` Eli Zaretskii
2014-12-29 18:17                                                                       ` shr: tables Ivan Shmakov
2014-12-29 16:49                                                                     ` HTML-Info design Yuri Khan
2014-12-29 16:04                                                               ` Eli Zaretskii
2014-12-29 16:32                                                                 ` Lars Ingebrigtsen
2014-12-29 17:13                                                                   ` Yuri Khan
2014-12-29 17:44                                                                   ` Eli Zaretskii
2015-01-25  0:01                                                                     ` Lars Ingebrigtsen
2015-01-25 16:06                                                                       ` Eli Zaretskii
2015-01-26  2:16                                                                         ` Lars Ingebrigtsen
2015-01-26  6:20                                                                           ` Eli Zaretskii
2015-01-26  6:52                                                                             ` Lars Ingebrigtsen
2015-01-27  1:26                                                                             ` Lars Ingebrigtsen
2015-01-27 18:15                                                                               ` Eli Zaretskii
2015-01-28  2:27                                                                                 ` Lars Ingebrigtsen
2015-01-28 15:26                                                                                   ` Eli Zaretskii
2015-01-28  3:27                                                                                 ` Pixel-based display functions (was: HTML-Info design) Lars Ingebrigtsen
2015-01-28  7:16                                                                                   ` Pixel-based display functions Thien-Thi Nguyen
2015-01-28 15:33                                                                                     ` Eli Zaretskii
2015-01-28  8:04                                                                                   ` Ivan Shmakov
2015-01-28 10:30                                                                                     ` Lars Ingebrigtsen
2015-01-28 19:20                                                                                     ` Stefan Monnier
2015-01-28 19:29                                                                                       ` Eli Zaretskii
2015-01-28 21:35                                                                                         ` Stefan Monnier
2015-01-29  1:00                                                                                           ` Lars Ingebrigtsen
2015-01-29  4:08                                                                                             ` Stefan Monnier
2015-01-29  6:55                                                                                               ` Lars Ingebrigtsen
2015-01-29 13:30                                                                                                 ` Lars Ingebrigtsen
2015-01-30  6:37                                                                                                   ` Lars Ingebrigtsen
2015-01-30  6:52                                                                                                     ` Eli Zaretskii
2015-01-30  7:27                                                                                                       ` Lars Ingebrigtsen
2015-01-30  9:10                                                                                                         ` Eli Zaretskii
2015-01-30 10:20                                                                                                           ` Andreas Schwab
2015-01-30 11:15                                                                                                             ` Eli Zaretskii
2015-01-30 11:28                                                                                                           ` Lars Ingebrigtsen
2015-01-30 11:56                                                                                                             ` Eli Zaretskii
2015-01-30 15:28                                                                                                               ` Eli Zaretskii
2015-01-30 18:02                                                                                                                 ` Stefan Monnier
2015-01-30 21:36                                                                                                                   ` Eli Zaretskii
2015-01-31  6:25                                                                                                                     ` Stefan Monnier
2015-01-31  6:59                                                                                                                       ` Lars Ingebrigtsen
2015-01-31  7:57                                                                                                                         ` Eli Zaretskii
2015-02-01  1:26                                                                                                                           ` Lars Ingebrigtsen
2015-01-31  7:36                                                                                                                       ` Eli Zaretskii
2015-01-31 20:33                                                                                                                         ` Stefan Monnier
2015-01-31 21:37                                                                                                                           ` martin rudalics
2015-02-01  1:18                                                                                                                             ` Lars Ingebrigtsen
2015-02-01  1:40                                                                                                                               ` Lars Ingebrigtsen
2015-02-01  8:51                                                                                                                                 ` martin rudalics
2015-02-01 12:31                                                                                                                                   ` Lars Ingebrigtsen
2015-02-01 12:52                                                                                                                                     ` martin rudalics
2015-02-01 15:52                                                                                                                                       ` Eli Zaretskii
2015-02-01 16:30                                                                                                                                         ` martin rudalics
2015-02-01 17:31                                                                                                                                           ` Eli Zaretskii
2015-02-01 18:09                                                                                                                                             ` martin rudalics
2015-02-01 18:36                                                                                                                                               ` Eli Zaretskii
2015-02-01 18:42                                                                                                                                                 ` Eli Zaretskii
2015-02-05  4:17                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-05 14:01                                                                                                                                                     ` Stefan Monnier
2015-02-06  1:17                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-06  7:28                                                                                                                                                         ` martin rudalics
2015-02-06  9:39                                                                                                                                                           ` Lars Ingebrigtsen
2015-02-06  9:58                                                                                                                                                             ` Eli Zaretskii
2015-02-06 10:02                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-06 13:30                                                                                                                                                                 ` Eli Zaretskii
2015-02-06  7:45                                                                                                                                                         ` Eli Zaretskii
2015-02-06  9:47                                                                                                                                                           ` Lars Ingebrigtsen
2015-02-06 14:12                                                                                                                                                             ` Eli Zaretskii
2015-02-06 15:22                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-06 15:42                                                                                                                                                                 ` Eli Zaretskii
2015-02-06 16:03                                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-07  4:07                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-07  5:22                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-07  8:09                                                                                                                                                                         ` Eli Zaretskii
2015-02-07  9:10                                                                                                                                                                           ` Lars Ingebrigtsen
2015-02-07  9:42                                                                                                                                                                             ` Eli Zaretskii
2015-02-07  9:57                                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-07 10:18                                                                                                                                                                                 ` Eli Zaretskii
2015-02-07 10:27                                                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-07 15:16                                                                                                                                                                                     ` Stefan Monnier
2015-02-07 10:25                                                                                                                                                                                 ` Display of images in eww (was: Pixel-based display functions) Eli Zaretskii
2015-02-07 10:33                                                                                                                                                                                   ` Display of images in eww Lars Ingebrigtsen
2015-02-07  9:50                                                                                                                                                                             ` Pixel-based display functions Lars Ingebrigtsen
2015-02-07 11:45                                                                                                                                                                             ` martin rudalics
2015-02-07 12:01                                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-07 12:11                                                                                                                                                                                 ` Eli Zaretskii
2015-02-07 12:27                                                                                                                                                                                 ` martin rudalics
2015-02-07 12:02                                                                                                                                                                               ` Eli Zaretskii
2015-02-07 12:28                                                                                                                                                                                 ` martin rudalics
2015-02-07 12:52                                                                                                                                                                                   ` Eli Zaretskii
2015-02-07 13:51                                                                                                                                                                                     ` martin rudalics
2015-02-07 14:03                                                                                                                                                                                       ` Eli Zaretskii
2015-02-07 19:26                                                                                                                                                                                         ` martin rudalics
2015-02-07 11:37                                                                                                                                                                   ` Eli Zaretskii
2015-02-07 11:59                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-07 12:20                                                                                                                                                                       ` Eli Zaretskii
2015-02-07 12:10                                                                                                                                                                     ` Eli Zaretskii
2015-02-07 12:16                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-07 12:42                                                                                                                                                                         ` Lars Ingebrigtsen
2015-02-07 13:08                                                                                                                                                                           ` Eli Zaretskii
2015-02-07 13:21                                                                                                                                                                             ` Lars Ingebrigtsen
2015-02-08 18:37                                                                                                                                                                           ` Eli Zaretskii
2015-02-09  4:12                                                                                                                                                                             ` Lars Ingebrigtsen
2015-02-09 16:36                                                                                                                                                                               ` Eli Zaretskii
2015-02-10  4:48                                                                                                                                                                                 ` Lars Ingebrigtsen
2015-02-10  6:07                                                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-10  6:11                                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-10  7:59                                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-10 15:53                                                                                                                                                                                     ` Eli Zaretskii
2015-02-11  5:32                                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-10 15:48                                                                                                                                                                                   ` Eli Zaretskii
2015-02-11  5:31                                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-11 15:49                                                                                                                                                                                       ` Eli Zaretskii
2015-02-18  1:17                                                                                                                                                                                         ` Lars Ingebrigtsen
2015-02-18  3:45                                                                                                                                                                                           ` Eli Zaretskii
2015-02-18  5:53                                                                                                                                                                                             ` Stefan Monnier
2015-02-18 15:29                                                                                                                                                                                               ` Eli Zaretskii
2015-02-19  5:51                                                                                                                                                                                                 ` Lars Ingebrigtsen
2015-02-06 15:18                                                                                                                                                             ` Stefan Monnier
2015-02-06 15:37                                                                                                                                                               ` Eli Zaretskii
2015-02-01 16:00                                                                                                                                       ` martin rudalics
2015-02-02  9:47                                                                                                                                         ` Lars Ingebrigtsen
2015-02-05  4:37                                                                                                                                           ` Lars Ingebrigtsen
2015-02-05  9:38                                                                                                                                             ` martin rudalics
2015-02-05 16:09                                                                                                                                               ` Eli Zaretskii
2015-02-06  7:28                                                                                                                                                 ` martin rudalics
2015-02-06  9:58                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-06 13:02                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-06 13:28                                                                                                                                                     ` Eli Zaretskii
2015-02-06 15:13                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-06 15:29                                                                                                                                                         ` Matthew Carter
2015-02-12 12:32                                                                                                                                                           ` Rebinding local keys Alan Schmitt
2015-02-13  6:15                                                                                                                                                           ` Pixel-based display functions Lars Ingebrigtsen
2015-02-01  3:36                                                                                                                           ` Eli Zaretskii
2015-02-01  6:28                                                                                                                             ` Stefan Monnier
2015-02-01 15:37                                                                                                                               ` Eli Zaretskii
2015-02-02  9:46                                                                                                                                 ` Lars Ingebrigtsen
2015-02-02 15:58                                                                                                                                   ` Eli Zaretskii
2015-02-02 16:43                                                                                                                                 ` Stefan Monnier
2015-02-02 17:21                                                                                                                                   ` Eli Zaretskii
2015-02-02 23:16                                                                                                                                     ` Stefan Monnier
2015-01-31  0:42                                                                                                                 ` Lars Ingebrigtsen
2015-01-31  7:24                                                                                                                   ` Eli Zaretskii
2015-01-31  9:04                                                                                                                 ` Andreas Schwab
2015-01-31 10:01                                                                                                                   ` Eli Zaretskii
2015-01-31 10:15                                                                                                                     ` Andreas Schwab
2015-01-31 11:08                                                                                                                       ` Eli Zaretskii
2015-01-31 12:04                                                                                                                         ` Alexis
2015-01-31 12:41                                                                                                                           ` Eli Zaretskii
2015-01-31 13:25                                                                                                                             ` Andreas Schwab
2015-01-31 14:26                                                                                                                               ` Eli Zaretskii
2015-01-31 13:37                                                                                                                             ` Alexis
2015-01-31 14:30                                                                                                                               ` Eli Zaretskii
2015-01-31 14:23                                                                                                                         ` Artur Malabarba
2015-01-31 15:35                                                                                                                           ` Eli Zaretskii
2015-01-31 14:55                                                                                                                         ` Stephen J. Turnbull
2015-01-31 15:39                                                                                                                           ` Eli Zaretskii
2015-02-01 17:21                                                                                                                             ` Stephen J. Turnbull
2015-01-28 15:27                                                                                   ` Eli Zaretskii
2015-01-29  0:37                                                                                     ` Lars Ingebrigtsen
2014-12-29 23:23                                                           ` HTML-Info design Richard Stallman
2014-12-29 23:02                                                       ` Juri Linkov
2014-12-28 23:57                                                     ` Richard Stallman
2014-12-29  0:13                                                       ` Nic Ferrier
2014-12-29  3:39                                                         ` Eli Zaretskii
2014-12-29 13:45                                                       ` Stefan Monnier
2014-12-29 23:24                                                         ` Richard Stallman
2014-12-29  0:59                                                   ` Juri Linkov
2014-12-29 14:12                                                     ` Stefan Monnier
2014-12-29 14:26                                                       ` Lars Magne Ingebrigtsen
2014-12-29 14:43                                                       ` Nic Ferrier
2014-12-29 18:24                                                         ` Stefan Monnier
2014-12-29 23:24                                                     ` Richard Stallman
2014-12-30  0:09                                                       ` Lennart Borgman
2014-12-30 19:51                                                         ` Richard Stallman
2014-12-30 20:06                                                           ` Lennart Borgman
2014-12-23 22:42                                     ` Lennart Borgman
2014-12-24  0:16                                     ` David Kastrup
2014-12-24  9:56                                       ` Richard Stallman
2014-12-24 12:33                                         ` Ted Zlatanov
2014-12-24 18:00                                           ` Richard Stallman
2014-12-24 18:38                                             ` Ted Zlatanov
2014-12-25 15:39                                               ` Richard Stallman
2014-12-24  2:31                                 ` Stefan Monnier
2014-12-24  3:36                               ` Stephen J. Turnbull
2014-12-23  4:33                           ` Stephen J. Turnbull
2014-12-23  7:57                             ` Nic Ferrier
2014-12-20 18:05           ` Have you all gone crazy? Was: On being web-friendly and why info must die Tom
2014-12-20 18:47             ` Stephen J. Turnbull
2014-12-20 18:58               ` Tom
2014-12-20 19:27                 ` Stephen J. Turnbull
2014-12-20 20:07                   ` Tom
2014-12-20 19:46             ` Lennart Borgman
2014-12-20 20:11               ` Tom
2014-12-21 19:23             ` Mike Gerwitz
2014-12-21 20:01               ` Tom
2014-12-21 21:05                 ` Drew Adams
2014-12-21 21:15                   ` David Kastrup
2014-12-21 21:32                     ` Tom
2014-12-21 22:23                       ` Drew Adams
2014-12-21 22:46                         ` David Kastrup
2014-12-21 23:12                           ` Drew Adams
2014-12-22  1:33                         ` Stephen J. Turnbull
2014-12-22  2:44                           ` Drew Adams
2014-12-22  6:25                             ` Stephen J. Turnbull
2014-12-22  9:18                               ` David Kastrup
2014-12-22  9:08                             ` David Kastrup
2014-12-21 23:12                       ` Harry Putnam
2014-12-22  3:36                       ` Eli Zaretskii
2014-12-22  3:54                         ` Lennart Borgman
2014-12-22  5:25                           ` Yuri Khan
2014-12-22 15:43                             ` Eli Zaretskii
2014-12-22 18:26                               ` Yuri Khan
2014-12-22 18:48                                 ` Eli Zaretskii
2014-12-23  7:26                                   ` Yuri Khan
2014-12-23  1:41                             ` Paul Eggert
2014-12-23  4:02                               ` Eli Zaretskii
2014-12-23  5:01                                 ` Stephen J. Turnbull
2014-12-23 18:23                                   ` Eli Zaretskii
2014-12-24  2:58                                     ` Stephen J. Turnbull
2014-12-24 16:18                                       ` Eli Zaretskii
2014-12-23  4:27                               ` Stephen J. Turnbull
2014-12-23  6:21                               ` Drew Adams
2014-12-23  7:32                                 ` Paul Eggert
2014-12-23 15:34                                   ` Richard Stallman
2014-12-23 17:25                                     ` Paul Eggert
2014-12-24  9:56                                       ` Richard Stallman
2014-12-23 18:51                                     ` Eli Zaretskii
2014-12-24  9:56                                       ` Richard Stallman
2014-12-23 18:25                                   ` Eli Zaretskii
2014-12-23 21:08                                     ` Paul Eggert
2014-12-24 10:09                                       ` Andy Moreton
2014-12-24 16:10                                       ` Eli Zaretskii
2014-12-22  6:41                           ` Stephen J. Turnbull
2014-12-22  9:33                             ` David Kastrup
2014-12-22 11:30                             ` Lennart Borgman
2014-12-22 12:08                               ` David Kastrup
2014-12-22 12:23                                 ` Lennart Borgman
2014-12-22 13:13                                   ` David Kastrup
2014-12-22 13:25                                     ` Lennart Borgman
2014-12-23  3:54                               ` Richard Stallman
2014-12-23  5:24                                 ` Lennart Borgman
2014-12-23 15:33                                   ` Richard Stallman
2014-12-23 16:24                                     ` Stephen J. Turnbull
2014-12-24  9:56                                       ` Richard Stallman
2014-12-25 15:46                                         ` Stephen J. Turnbull
2014-12-26 10:59                                           ` David Kastrup
2014-12-26 13:30                                             ` Tom
2014-12-26 13:57                                               ` David Kastrup
2014-12-26 15:08                                                 ` Lars Ingebrigtsen
2014-12-26 15:28                                                 ` Tom
2014-12-26 15:48                                                   ` David Kastrup
2014-12-26 15:39                                               ` Eli Zaretskii
2014-12-26 21:57                                               ` Richard Stallman
     [not found]                                               ` <<E1Y4ct2-0006JI-UI@fencepost.gnu.org>
2014-12-26 23:29                                                 ` Drew Adams
2014-12-27 22:54                                                   ` Richard Stallman
2014-12-27 23:03                                                     ` Lennart Borgman
2014-12-28  1:07                                                       ` Stefan Monnier
2014-12-28  1:52                                                         ` Lennart Borgman
2014-12-28 23:57                                                       ` Richard Stallman
2014-12-29  7:14                                                         ` Lennart Borgman
2014-12-29  7:33                                                           ` rekado
2014-12-29  7:49                                                             ` Lennart Borgman
2014-12-29 23:23                                                           ` Richard Stallman
2014-12-29 23:57                                                             ` Lennart Borgman
2014-12-30  7:05                                                               ` David Kastrup
2014-12-30  7:08                                                                 ` Lennart Borgman
     [not found]                                               ` <<<E1Y4ct2-0006JI-UI@fencepost.gnu.org>
     [not found]                                                 ` <<e89658d6-8630-441e-88c9-42dfa93c49db@default>
     [not found]                                                   ` <<E1Y50Fv-0003Kv-4k@fencepost.gnu.org>
2014-12-28  3:04                                                     ` Drew Adams
2014-12-26 11:11                                           ` Richard Stallman
2014-12-26 14:27                                             ` Stephen J. Turnbull
2014-12-22 15:44                             ` Eli Zaretskii
2014-12-23  0:29                               ` Stephen J. Turnbull
2014-12-23  3:57                                 ` Eli Zaretskii
2014-12-23  4:43                                   ` Stephen J. Turnbull
2014-12-23 14:52                                     ` Drew Adams
2014-12-23 15:31                                       ` Stephen J. Turnbull
2014-12-23 17:28                                         ` Drew Adams
2014-12-24  2:34                                           ` Stephen J. Turnbull
2014-12-24  9:44                                             ` David Kastrup
2014-12-24  9:55                                         ` Richard Stallman
2014-12-23 15:34                                     ` Richard Stallman
2014-12-23 18:48                                       ` Eli Zaretskii
2014-12-23 18:21                                     ` Eli Zaretskii
2014-12-24  2:45                                       ` Stephen J. Turnbull
2014-12-22  9:24                           ` David Kastrup
2014-12-22 15:42                           ` Eli Zaretskii
2014-12-22 16:03                             ` Tom
2014-12-22 16:11                               ` Lennart Borgman
2014-12-22 16:43                                 ` Eli Zaretskii
2014-12-22 16:42                               ` Eli Zaretskii
2014-12-23  0:35                                 ` Stephen J. Turnbull
2014-12-23  3:58                                   ` Eli Zaretskii
2014-12-23  4:47                                     ` Stephen J. Turnbull
2014-12-23 15:33                                       ` Richard Stallman
2014-12-23 18:22                                       ` Eli Zaretskii
2014-12-24  3:10                                         ` Stephen J. Turnbull
2014-12-21 21:44                     ` Drew Adams
2014-12-24  9:55                       ` Richard Stallman
2014-12-20 10:39       ` Eli Zaretskii
2014-12-21  5:18       ` Karl Fogel
2014-12-21  6:37         ` Stephen J. Turnbull
2014-12-21 14:40           ` Stefan Monnier
2014-12-21 18:50           ` Karl Fogel
2014-12-17 19:49 ` Jay Belanger
2014-12-17 22:17   ` Jose E. Marchesi
2014-12-17 21:16 ` Stefan Monnier

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87tx0mffk2.fsf@violet.siamics.net \
    --to=ivan@siamics.net \
    --cc=bug-texinfo@gnu.org \
    --cc=emacs-devel@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).