all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Stefan Monnier <monnier@iro.umontreal.ca>
To: Alan Mackenzie <acm@muc.de>
Cc: rms@gnu.org, emacs-devel@gnu.org, rudalics@gmx.at,
	rrandresf@gmail.com, Dmitry Gutov <dgutov@yandex.ru>,
	Eli Zaretskii <eliz@gnu.org>
Subject: Re: emacs rendering comparisson between emacs23 and emacs26.3
Date: Thu, 16 Apr 2020 09:52:25 -0400	[thread overview]
Message-ID: <jwvblnrfto9.fsf-monnier+emacs@gnu.org> (raw)
In-Reply-To: <20200412153458.GA5249@ACM> (Alan Mackenzie's message of "Sun, 12 Apr 2020 15:34:58 +0000")

>   ;; Rather than a -functions hook, this is a -function because it's easier
>   ;; to do a single scan than several scans: with multiple scans, one cannot
[...]
> From my point of view, "multiple scans" are _much_ easier.

Obviously it's a matter of opinion.

Luckily, you have a Turing complete language at hand, so
`syntax-propertize-function` does not *impose* a single scan, it just
encourages it (especially with `syntax-propertize-rules`).

Your `syntax-propertize-function` can definitely use multiple scans if
it wants (and it's simply up to you to be careful about the fact that
until the last scan, `syntax-ppss` (and `parse-partial-sexp`) will
obviously not give the "final" answer, and if you use `syntax-ppss`
there, it's then your responsability to manually flush its cache with
`syntax-ppss-flush-cache`).

Really, you can use `syntax-propertize-function` with CC-mode without
significant changes to the code (i.e. reusing the code mostly unchanged
for the actual work).  The basic idea is to have CC-mode pretend that
the buffer only extends as far as `syntax-propertize--done`:

- when opening the file, pretend it's empty (i.e. do the initial scan
  as if `point-max` were equal to `point-min`).
- when `syntax-propertize-function` is called with arguments BEG and END,
  treat it as if the old code was faced with the following sequence of
  operations:
  1- delete all the text between BEG and `point-max`.
  2- insert at the end of file the new text found between BEG and END.

Clearly, the old code is supposed to handle correctly all three elements
(an empty file, deletion of text at EOB, and insertion of text at EOB),
so the old code will be able to handle those requests correctly without
any need for a redesign (you just have to "hide" the rest of the buffer
from the corresponding code, which might be doable with narrowing).

Of course the code of CC-mode is designed to handle many more operations
than deletion and insertion at EOB, so after that first step you could
try and adjust the code accordingly, but that can only make it simpler,
and is not necessary for a first cut.


        Stefan




  parent reply	other threads:[~2020-04-16 13:52 UTC|newest]

Thread overview: 363+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-03-21 22:19 emacs rendering comparisson between emacs23 and emacs26.3 rrandresf
2020-03-21 22:47 ` Stefan Monnier
2020-03-22  3:32 ` Eli Zaretskii
2020-03-22 12:38 ` Alan Mackenzie
2020-03-22 15:08   ` Amin Bandali
2020-03-22 16:58     ` Eli Zaretskii
2020-03-23  2:51     ` Richard Stallman
2020-03-26 19:31       ` Alan Mackenzie
2020-03-26 20:25         ` Stefan Monnier
2020-03-26 20:38         ` rrandresf
2020-03-27  7:00           ` Eli Zaretskii
2020-03-27 18:36             ` andrés ramírez
2020-03-28  2:48             ` Richard Stallman
2020-03-28  7:09               ` Eli Zaretskii
2020-03-28  9:08                 ` Eli Zaretskii
2020-03-28 11:58                   ` Alan Mackenzie
2020-03-28 11:43                 ` Alan Mackenzie
2020-03-28 12:05                   ` Eli Zaretskii
2020-03-28 12:18                     ` Alan Mackenzie
2020-03-28 12:28                       ` Eli Zaretskii
2020-03-28 13:14                         ` Alan Mackenzie
2020-03-28 13:28                           ` Eli Zaretskii
2020-03-29 14:13                             ` andrés ramírez
2020-03-28 13:54                           ` Stefan Monnier
2020-03-28 12:43                     ` Stefan Monnier
2020-03-28  2:40           ` Richard Stallman
2020-03-28  9:21             ` Michael Albinus
2020-03-28  9:58             ` Eli Zaretskii
2020-03-28 10:09               ` Eli Zaretskii
2020-03-28 14:43               ` Clément Pit-Claudel
2020-03-28 15:03                 ` Eli Zaretskii
2020-03-28 15:17                   ` Clément Pit-Claudel
2020-03-28 15:44                     ` Eli Zaretskii
2020-03-28 16:10                     ` Dmitry Gutov
2020-03-28 16:11                       ` Dmitry Gutov
2020-03-28 16:25                         ` Eli Zaretskii
2020-03-28 16:43                           ` Dmitry Gutov
2020-03-28 21:08                             ` rrandresf
2020-03-28 21:20                               ` Dmitry Gutov
2020-03-28 21:38                                 ` andrés ramírez
2020-03-28 21:41                                   ` Dmitry Gutov
2020-03-28 22:15                                     ` andres.ramirez
2020-03-28 22:24                                       ` Dmitry Gutov
2020-03-29 14:30                             ` Eli Zaretskii
2020-03-29 16:39                               ` Stefan Monnier
2020-03-29 17:28                                 ` Eli Zaretskii
2020-03-29 18:10                                 ` Dmitry Gutov
2020-03-29 18:54                                   ` emacs-tree-sitter and font-lock (was: emacs rendering comparisson between emacs23 and emacs26.3) Stefan Monnier
2020-03-29 19:20                                     ` emacs-tree-sitter and font-lock Dmitry Gutov
2020-03-31 10:15                                   ` font lock with functions (was: emacs rendering comparisson between emacs23 and emacs26.3) David Engster
2020-03-31 10:42                                     ` font lock with functions Adam Porter
2020-03-31 13:20                                     ` Stefan Monnier
2020-03-31 14:25                                       ` Dmitry Gutov
2020-03-31 14:56                                         ` Stefan Monnier
2020-03-31 15:04                                           ` Dmitry Gutov
2020-04-01 10:13                                       ` David Engster
2020-04-01  1:02                                     ` Stephen Leake
2020-03-29 18:27                               ` emacs rendering comparisson between emacs23 and emacs26.3 Dmitry Gutov
2020-03-29 18:39                                 ` Eli Zaretskii
2020-03-29 19:11                                   ` Dmitry Gutov
2020-03-29 19:04                               ` 조성빈
2020-03-29 19:12                                 ` Eli Zaretskii
2020-03-30  3:42               ` Richard Stallman
2020-03-30 13:01                 ` Eli Zaretskii
2020-03-31  2:28                   ` Richard Stallman
2020-03-31 13:07                     ` Eli Zaretskii
2020-03-31 16:05                       ` Andrea Corallo
2020-03-31 17:34                         ` Eli Zaretskii
2020-03-31 18:00                           ` Andrea Corallo
2020-03-31 18:19                             ` Eli Zaretskii
2020-03-31 18:34                               ` Andrea Corallo
2020-03-31 19:05                               ` Stefan Monnier
2020-04-01  2:07                       ` Richard Stallman
2020-04-01 13:23                         ` Eli Zaretskii
2020-04-02  2:32                           ` Richard Stallman
2020-04-02  7:32                             ` martin rudalics
2020-04-03  2:52                               ` Richard Stallman
2020-04-03  6:59                                 ` martin rudalics
2020-04-03 13:38                                   ` Stefan Monnier
2020-04-03 16:23                                     ` martin rudalics
2020-04-03 16:56                                       ` Stefan Monnier
2020-04-04  8:54                                         ` martin rudalics
2020-04-03 18:08                                       ` Paul Eggert
2020-04-04  8:55                                         ` martin rudalics
2020-04-05  0:07                                           ` Paul Eggert
2020-04-05  1:50                                             ` Dmitry Gutov
2020-04-05  8:46                                             ` martin rudalics
2020-04-05 20:38                                               ` Paul Eggert
2020-04-05 10:23                                             ` Inlining policy (was: emacs rendering comparisson between emacs23 and emacs26.3) Andrea Corallo
2020-04-06 18:15                                               ` Inlining policy Stefan Monnier
2020-04-06 18:26                                                 ` Paul Eggert
2020-04-06 19:17                                                   ` Andrea Corallo
2020-04-06 21:45                                                     ` Stefan Monnier
2020-04-08  4:03                                               ` Paul Eggert
2020-04-08 18:28                                                 ` Andrea Corallo
2020-04-08 18:44                                                   ` Paul Eggert
2020-04-08 19:09                                                     ` Andrea Corallo
2020-04-08 21:00                                                     ` Paul Eggert
2020-04-08 21:31                                                       ` Andrea Corallo
2020-04-03 17:47                                   ` emacs rendering comparisson between emacs23 and emacs26.3 Alan Mackenzie
2020-04-04  8:56                                     ` martin rudalics
2020-04-04 10:45                                       ` Alan Mackenzie
2020-04-04 11:10                                         ` martin rudalics
2020-04-04 11:29                                           ` Eli Zaretskii
2020-04-05  8:44                                             ` martin rudalics
2020-04-05 13:08                                               ` Eli Zaretskii
2020-04-05 15:50                                                 ` martin rudalics
2020-04-05 16:15                                                   ` Eli Zaretskii
2020-04-05 18:05                                                     ` Dmitry Gutov
2020-04-05 18:16                                                       ` Eli Zaretskii
2020-04-05 18:20                                                         ` Dmitry Gutov
2020-04-05 18:27                                                           ` Eli Zaretskii
2020-04-05 18:42                                                             ` Dmitry Gutov
2020-04-05 19:03                                                               ` Eli Zaretskii
2020-04-05 19:25                                                                 ` Dmitry Gutov
2020-04-06  2:25                                                                   ` Eli Zaretskii
2020-04-06 18:59                                                                     ` Dmitry Gutov
2020-04-07 14:30                                                                       ` Eli Zaretskii
2020-04-07 15:04                                                                         ` Dmitry Gutov
2020-04-07 17:42                                                                           ` Alan Mackenzie
2020-04-07 19:45                                                                             ` Dmitry Gutov
2020-04-08  2:09                                                                               ` Alan Mackenzie
2020-04-10  3:33                                                                                 ` Dmitry Gutov
2020-04-12 15:34                                                                                   ` Alan Mackenzie
2020-04-16  1:43                                                                                     ` Dmitry Gutov
2020-04-19 17:12                                                                                       ` Alan Mackenzie
2020-04-19 18:12                                                                                         ` Dmitry Gutov
2020-04-19 23:21                                                                                           ` Stefan Monnier
2020-04-20 13:33                                                                                             ` Dmitry Gutov
2020-04-20 19:01                                                                                               ` Stefan Monnier
2020-04-20 19:51                                                                                                 ` Alan Mackenzie
2020-04-20 21:58                                                                                                   ` Stefan Monnier
2020-04-20 20:06                                                                                             ` Alan Mackenzie
2020-04-20 20:08                                                                                               ` Dmitry Gutov
2020-04-20 21:19                                                                                           ` Alan Mackenzie
2020-04-21  1:41                                                                                             ` Dmitry Gutov
2020-04-21  3:41                                                                                             ` Stefan Monnier
2020-04-16 13:52                                                                                     ` Stefan Monnier [this message]
2020-04-07 19:22                                                                           ` Eli Zaretskii
2020-04-07 20:05                                                                             ` Dmitry Gutov
2020-04-08  6:17                                                                               ` Eli Zaretskii
2020-04-07 20:10                                                                             ` Alan Mackenzie
2020-04-08  6:15                                                                               ` Eli Zaretskii
2020-04-08  7:02                                                                                 ` Alan Mackenzie
2020-04-08  7:10                                                                                   ` Eli Zaretskii
2020-04-08  7:40                                                                                     ` Eli Zaretskii
2020-04-08 14:22                                                                                       ` Stefan Monnier
2020-04-08 15:06                                                                                         ` Eli Zaretskii
2020-04-08 15:16                                                                                           ` Stefan Monnier
2020-04-08 15:36                                                                                             ` Eli Zaretskii
2020-04-08  8:38                                                                                 ` martin rudalics
2020-04-08  9:44                                                                                   ` Eli Zaretskii
2020-04-08 14:25                                                                                   ` Stefan Monnier
2020-04-05 18:23                                                       ` Eli Zaretskii
2020-04-05 18:55                                                         ` Dmitry Gutov
2020-04-05 19:03                                                           ` Stefan Monnier
2020-04-05 19:14                                                             ` Eli Zaretskii
2020-04-05 19:21                                                             ` Dmitry Gutov
2020-04-06  2:16                                                               ` Stefan Monnier
2020-04-06 18:39                                                                 ` Dmitry Gutov
2020-04-06 21:27                                                                   ` Stefan Monnier
2020-04-06 21:40                                                                     ` Dmitry Gutov
2020-04-06 23:43                                                                       ` Stefan Monnier
2020-04-06 23:53                                                                         ` Dmitry Gutov
2020-04-07  3:17                                                                           ` Stefan Monnier
2020-04-05 19:06                                                           ` Eli Zaretskii
2020-04-05 19:16                                                             ` andrés ramírez
2020-04-05 19:19                                                               ` Eli Zaretskii
2020-04-05 19:28                                                             ` Dmitry Gutov
2020-04-05 19:57                                                       ` Alan Mackenzie
2020-04-05 20:48                                                         ` Dmitry Gutov
2020-04-06 12:43                                                           ` Dmitry Gutov
2020-04-06 13:39                                                             ` Eli Zaretskii
2020-04-06 13:55                                                               ` Dmitry Gutov
2020-04-06 14:44                                                                 ` Eli Zaretskii
2020-04-06 17:16                                                                   ` Dmitry Gutov
2020-04-07 14:26                                                                     ` Eli Zaretskii
2020-04-08  2:29                                                                       ` Richard Stallman
2020-04-08  6:45                                                                         ` Eli Zaretskii
2020-04-08  8:37                                                                       ` martin rudalics
2020-04-08 13:59                                                                         ` Eli Zaretskii
2020-04-08 14:45                                                                         ` Stefan Monnier
2020-04-09  0:32                                                                       ` Scrolling commands and skipping redisplay, was: " Dmitry Gutov
2020-04-09  7:46                                                                         ` Eli Zaretskii
2020-04-09 13:19                                                                           ` Stefan Monnier
2020-04-09 18:37                                                                             ` Dmitry Gutov
2020-04-09 19:16                                                                               ` Stefan Monnier
2020-04-09 19:30                                                                                 ` Dmitry Gutov
2020-04-09 19:46                                                                                   ` Stefan Monnier
2020-04-09 21:50                                                                                     ` Dmitry Gutov
2020-04-10  6:13                                                                                   ` Eli Zaretskii
2020-04-10 12:38                                                                                     ` Dmitry Gutov
2020-04-10 13:34                                                                                       ` Eli Zaretskii
2020-04-10 14:34                                                                                         ` Dmitry Gutov
2020-04-10 14:45                                                                                           ` Stefan Monnier
2020-04-10 17:23                                                                                             ` Dmitry Gutov
2020-04-10 17:46                                                                                               ` Stefan Monnier
2020-04-11  4:44                                                                                                 ` Dmitry Gutov
2020-04-11 13:45                                                                                                   ` Stefan Monnier
2020-04-11 21:32                                                                                                     ` Dmitry Gutov
2020-04-12  5:03                                                                                                       ` Stefan Monnier
2020-04-16  2:04                                                                                                         ` Dmitry Gutov
2020-04-10 18:25                                                                                             ` Eli Zaretskii
2020-04-10 15:47                                                                                           ` Eli Zaretskii
2020-04-11  0:21                                                                                             ` Dmitry Gutov
2020-04-11  7:55                                                                                               ` Eli Zaretskii
2020-04-12  2:51                                                                                                 ` Dmitry Gutov
2020-04-12  7:01                                                                                                   ` Eli Zaretskii
2020-04-09 19:20                                                                               ` Eli Zaretskii
2020-04-09 19:28                                                                                 ` Dmitry Gutov
2020-04-10  6:08                                                                                   ` Eli Zaretskii
2020-04-10 14:38                                                                                     ` Dmitry Gutov
2020-04-09 19:33                                                                                 ` Stefan Monnier
2020-04-09 22:17                                                                           ` Dmitry Gutov
2020-04-10  6:47                                                                             ` Eli Zaretskii
2020-04-10 13:00                                                                               ` Stefan Monnier
2020-04-10 13:38                                                                                 ` Eli Zaretskii
2020-04-10 14:29                                                                                   ` Stefan Monnier
2020-04-10 14:41                                                                                     ` Stefan Monnier
2020-04-10 15:36                                                                                     ` Eli Zaretskii
2020-04-10 15:55                                                                                       ` Dmitry Gutov
2020-04-10 14:45                                                                               ` Dmitry Gutov
2020-04-10 15:56                                                                                 ` Eli Zaretskii
2020-04-12  3:07                                                                                   ` Dmitry Gutov
2020-04-12  7:10                                                                                     ` Eli Zaretskii
2020-04-16  2:18                                                                                       ` Dmitry Gutov
2020-04-16  5:22                                                                                         ` Eli Zaretskii
2020-04-16 20:13                                                                                           ` Dmitry Gutov
2020-04-17  6:11                                                                                             ` Eli Zaretskii
2020-04-17 17:04                                                                                               ` Dmitry Gutov
2020-04-17 17:35                                                                                                 ` Eli Zaretskii
2020-04-17 17:52                                                                                                   ` Dmitry Gutov
2020-04-17 18:48                                                                                                     ` Eli Zaretskii
2020-04-19 17:09                                                                                                       ` Dmitry Gutov
2020-04-19 17:17                                                                                                         ` Stefan Monnier
2020-04-19 18:51                                                                                                           ` Eli Zaretskii
2020-04-19 23:22                                                                                                             ` Stefan Monnier
2020-04-20 14:23                                                                                                               ` Eli Zaretskii
2020-04-20 15:36                                                                                                                 ` Stefan Monnier
2020-04-20 16:42                                                                                                                 ` Dmitry Gutov
2020-04-20 16:51                                                                                                                   ` Eli Zaretskii
2020-04-20 16:56                                                                                                                     ` Dmitry Gutov
2020-04-20 17:02                                                                                                                       ` Andreas Schwab
2020-04-20 17:35                                                                                                                       ` Eli Zaretskii
2020-04-20 17:47                                                                                                                         ` Stefan Monnier
2020-04-20 18:12                                                                                                                           ` Eli Zaretskii
2020-04-20 18:19                                                                                                                           ` Eli Zaretskii
2020-04-20 18:29                                                                                                                             ` Dmitry Gutov
2020-04-20 18:52                                                                                                                               ` Eli Zaretskii
2020-04-20 19:03                                                                                                                                 ` Dmitry Gutov
2020-04-20 18:51                                                                                                                             ` Stefan Monnier
2020-04-20 19:09                                                                                                                               ` Eli Zaretskii
2020-04-20 21:50                                                                                                                                 ` Stefan Monnier
2020-04-21 13:27                                                                                                                                   ` Eli Zaretskii
2020-04-22  3:14                                                                                                                                     ` Richard Stallman
2020-04-22 13:26                                                                                                                                       ` Eli Zaretskii
2020-04-23  2:37                                                                                                                                         ` Richard Stallman
2020-04-23 13:17                                                                                                                                           ` Stefan Monnier
2020-04-23 14:46                                                                                                                                           ` Eli Zaretskii
2020-04-24  2:39                                                                                                                                             ` Richard Stallman
2020-04-20 18:27                                                                                                                         ` Dmitry Gutov
2020-04-20 17:39                                                                                                                     ` Stefan Monnier
2020-04-20 17:42                                                                                                                       ` Eli Zaretskii
2020-04-19 19:06                                                                                                         ` Eli Zaretskii
2020-04-20  3:17                                                                                                           ` Dmitry Gutov
2020-04-20 15:01                                                                                                             ` Eli Zaretskii
2020-04-20 17:04                                                                                                               ` Dmitry Gutov
2020-04-20 17:39                                                                                                                 ` Eli Zaretskii
2020-04-20 18:26                                                                                                                   ` Dmitry Gutov
2020-04-20  3:27                                                                                                   ` Dmitry Gutov
2020-04-20 15:16                                                                                                     ` Eli Zaretskii
2020-04-21  1:27                                                                                                       ` Dmitry Gutov
2020-04-21 14:02                                                                                                         ` Eli Zaretskii
2020-04-24  1:23                                                                                                           ` Dmitry Gutov
2020-04-24  9:51                                                                                                             ` Eli Zaretskii
2020-04-25  0:21                                                                                                               ` Dmitry Gutov
2020-04-16 20:20                                                                                           ` Stefan Monnier
2020-04-17  6:18                                                                                             ` Eli Zaretskii
2020-04-17 15:13                                                                                               ` Stefan Monnier
2020-04-17 15:25                                                                                                 ` Eli Zaretskii
2020-04-17 16:39                                                                                                   ` Dmitry Gutov
2020-04-11 13:21                                                                         ` Scrolling commands and skipping redisplay Alan Mackenzie
2020-04-11 13:45                                                                           ` Eli Zaretskii
2020-04-11 17:04                                                                             ` Alan Mackenzie
2020-04-11 17:15                                                                               ` Eli Zaretskii
2020-04-11 21:13                                                                                 ` Alan Mackenzie
2020-04-06  2:27                                                         ` emacs rendering comparisson between emacs23 and emacs26.3 Eli Zaretskii
2020-04-06 12:26                                                           ` Alan Mackenzie
2020-04-07  8:31                                                         ` martin rudalics
2020-04-07 11:47                                                           ` Alan Mackenzie
2020-04-07 12:45                                                             ` martin rudalics
2020-04-07 13:11                                                               ` Dmitry Gutov
2020-04-08  8:36                                                                 ` martin rudalics
2020-04-08 10:37                                                                   ` Dmitry Gutov
2020-04-08 11:22                                                                     ` Eli Zaretskii
2020-04-08 14:01                                                                       ` Dmitry Gutov
2020-04-07 14:15                                                               ` Eli Zaretskii
2020-04-07 12:07                                                           ` Dmitry Gutov
2020-04-07 12:35                                                             ` Dmitry Gutov
2020-04-07 12:45                                                             ` martin rudalics
2020-04-06  9:05                                                     ` martin rudalics
2020-04-06 13:29                                                       ` Eli Zaretskii
2020-04-06 15:29                                                       ` Stefan Monnier
2020-04-06 17:40                                                         ` martin rudalics
2020-04-05 18:48                                                   ` Stefan Monnier
2020-04-06  9:05                                                     ` martin rudalics
2020-04-06 15:25                                                       ` Stefan Monnier
2020-04-06 15:30                                                         ` Eli Zaretskii
2020-04-06 16:23                                                           ` Stefan Monnier
2020-04-04 12:01                                           ` Alan Mackenzie
2020-04-05  8:45                                             ` martin rudalics
2020-04-06  3:49                                               ` Ravine Var
2020-04-06  9:05                                                 ` martin rudalics
2020-04-06  9:04                                         ` martin rudalics
2020-04-04 19:20                                       ` Alan Mackenzie
2020-04-04 22:53                                       ` Stefan Monnier
2020-04-06  9:04                                         ` martin rudalics
2020-04-05  3:12                                     ` Richard Stallman
2020-04-05 11:16                                       ` Alan Mackenzie
2020-04-05 14:10                                         ` Stefan Monnier
2020-04-06  2:36                                           ` Richard Stallman
2020-04-06 14:43                                             ` Stefan Monnier
2020-04-07  2:48                                               ` Richard Stallman
2020-04-07  3:23                                                 ` Stefan Monnier
2020-04-06 14:55                                             ` Dmitry Gutov
2020-04-06 19:36                                               ` Alan Mackenzie
2020-04-06 22:12                                                 ` Dmitry Gutov
2020-04-06 23:41                                                   ` Stefan Monnier
2020-04-07 14:17                                                     ` Dmitry Gutov
2020-04-06  2:36                                         ` Richard Stallman
2020-04-06 12:14                                           ` Alan Mackenzie
2020-04-07  2:49                                             ` Richard Stallman
2020-04-07  3:26                                               ` Stefan Monnier
2020-04-08  2:29                                                 ` Richard Stallman
2020-04-08  3:48                                                   ` Stefan Monnier
2020-04-09  3:10                                                     ` Richard Stallman
2020-04-09  6:43                                                       ` Eli Zaretskii
2020-04-10  2:08                                                         ` Richard Stallman
2020-04-10  3:07                                                           ` Stefan Monnier
2020-04-11  2:31                                                             ` Richard Stallman
2020-04-11  4:20                                                               ` Stefan Monnier
2020-04-06  2:36                                         ` Richard Stallman
2020-04-05 13:27                                   ` Alan Mackenzie
2020-04-05 15:50                                     ` martin rudalics
2020-04-06  2:36                                   ` Richard Stallman
2020-04-06 13:21                                     ` Eli Zaretskii
2020-04-07  8:32                                       ` martin rudalics
2020-04-07 12:52                                         ` Dmitry Gutov
2020-04-08  8:36                                           ` martin rudalics
2020-04-07 14:03                                         ` Eli Zaretskii
2020-04-08  8:37                                           ` martin rudalics
2020-04-11 15:13                                         ` Noam Postavsky
2020-04-08  2:29                                       ` Richard Stallman
2020-04-08  6:40                                         ` Eli Zaretskii
2020-04-09  3:10                                           ` Richard Stallman
2020-04-06 14:46                                     ` Stefan Monnier
2020-04-02 13:30                             ` Eli Zaretskii
2020-04-03  2:54                               ` Richard Stallman
2020-03-28 20:08             ` andrés ramírez
     [not found] <mailman.2407.1585380720.3017.emacs-devel@gnu.org>
2020-03-28 11:20 ` Ulrich Mueller
2020-03-28 12:52   ` Stefan Monnier
2020-03-29  2:16   ` Richard Stallman
     [not found] <<E1jJ6dO-0002BR-D1@fencepost.gnu.org>
     [not found] ` <<E1jJpeO-0004Xf-AO@fencepost.gnu.org>
     [not found]   ` <<e0ad3c6a-46f0-ae75-fd7a-477d46d3034d@gmx.at>
     [not found]     ` <<E1jKCRN-0001vd-OA@fencepost.gnu.org>
     [not found]       ` <<054393f3-3873-ab6e-b325-0eca354d8838@gmx.at>
     [not found]         ` <<20200403174757.GA8266@ACM>
     [not found]           ` <<daf5e7b0-3781-b910-541a-4437454b238d@gmx.at>
     [not found]             ` <<20200404104553.GA5329@ACM>
     [not found]               ` <<07fe3b69-3ab2-3173-0696-cb17809e2b91@gmx.at>
     [not found]                 ` <<83blo7v68b.fsf@gnu.org>
     [not found]                   ` <<1845d7aa-9ae4-3d95-6a30-c7b1d8d8adec@gmx.at>
     [not found]                     ` <<83a73qt6zs.fsf@gnu.org>
     [not found]                       ` <<97c4254e-ff43-8402-3645-f713c408c245@gmx.at>
     [not found]                         ` <<83y2r9syby.fsf@gnu.org>
     [not found]                           ` <<f3d39312-f03e-c4e9-09d8-63afd7ba390d@yandex.ru>
     [not found]                             ` <<83v9mdssqx.fsf@gnu.org>
     [not found]                               ` <<679ab47b-6e3e-65e6-f955-be58d59ed092@yandex.ru>
     [not found]                                 ` <<83sghhss8v.fsf@gnu.org>
     [not found]                                   ` <<671b5b41-663d-5ab9-f022-dc6c5ce54dd0@yandex.ru>
     [not found]                                     ` <<83r1x1sqkx.fsf@gnu.org>
     [not found]                                       ` <<c60ad734-cee1-a40b-1027-e4575799d161@yandex.ru>
     [not found]                                         ` <<83lfn9s63n.fsf@gnu.org>
     [not found]                                           ` <<c73564b8-f6af-5c61-5fe6-4fa142010323@yandex.ru>
     [not found]                                             ` <<83h7xvqsgc.fsf@gnu.org>
     [not found]                                               ` <<90749329-ccb1-f96e-29c0-b4ecbb81d1d4@yandex.ru>
     [not found]                                                 ` <<837dyrqews.fsf@gnu.org>
     [not found]                                                   ` <<b1122699-fc83-8738-58e4-bcf3669c2db8@yandex.ru>
     [not found]                                                     ` <<834ktuqz5a.fsf@gnu.org>
2020-04-08 16:04                                                       ` Drew Adams

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

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

  git send-email \
    --in-reply-to=jwvblnrfto9.fsf-monnier+emacs@gnu.org \
    --to=monnier@iro.umontreal.ca \
    --cc=acm@muc.de \
    --cc=dgutov@yandex.ru \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=rms@gnu.org \
    --cc=rrandresf@gmail.com \
    --cc=rudalics@gmx.at \
    /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 external index

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

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.