unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: David Kastrup <dak@gnu.org>
To: Eli Zaretskii <eliz@gnu.org>
Cc: adatgyujto@gmail.com, emacs-devel@gnu.org
Subject: Re: IDE
Date: Sat, 10 Oct 2015 12:23:11 +0200	[thread overview]
Message-ID: <87lhbbggz4.fsf@fencepost.gnu.org> (raw)
In-Reply-To: <83zizrrqs2.fsf@gnu.org> (Eli Zaretskii's message of "Sat, 10 Oct 2015 12:55:57 +0300")

Eli Zaretskii <eliz@gnu.org> writes:

>> From: David Kastrup <dak@gnu.org>
>> Cc: Tom <adatgyujto@gmail.com>,  emacs-devel@gnu.org
>> Date: Sat, 10 Oct 2015 11:00:46 +0200
>> 
>> attempts of letting GCC similarly output AST data were rejected as
>> making it too easy to support non-free applications (obviously, if
>> Emacs can use GCC for purposes of syntax analysis from the command
>> line, so can anybody else).
>
> That's not how that discussion ended.  It ended by Richard saying he
> wanted to study the issue in more depth, before making his decision.

It's been more than half a year.  The time frames in which people
involve themselves in personal projects are smaller than that.  So the
issue becomes a theoretic one and does no longer warrant taking risks or
making difficult decisions.

Rinse and repeat.

That's why I think we need a general course change regarding
interoperability without an immediate tangible purpose.  Because
otherwise we kill incubation.  The most important tool of the programmer
is the garbage bin.  If we take that away, if we demand a proof of
success before opening any possibility, we are taking one of the most
important assets of freedom: the possibility that someone may use that
freedom for purposes beyond our imagination.  Yes, that may cut both
ways.  But we do have the GPLv3 and we should trust it to keep the
damage in check because the alternative is limiting what we can do with
free software for advancing free software.

>> So people's hands are bound until a complete plan has been worked out
>> and/or blessed by Richard
>
> No one's hands are bound.  Whoever is motivated enough will find a way
> to bypass the restrictions and limitations.

That's not particularly inspiring.

-- 
David Kastrup



  parent reply	other threads:[~2015-10-10 10:23 UTC|newest]

Thread overview: 560+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-09-29  6:28 New maintainer Stefan Monnier
2015-09-29 15:26 ` Nicolas Petton
2015-09-30 20:34   ` John Wiegley
2015-10-01  6:27   ` Eli Zaretskii
2015-10-01 14:13     ` Aurélien Aptel
2015-10-01 16:02       ` Eli Zaretskii
2015-10-01 17:14       ` Dmitry Gutov
2015-10-01 18:35         ` John Wiegley
2015-10-01 19:18           ` Dmitry Gutov
2015-10-01 20:43             ` John Wiegley
2015-10-05 23:37             ` Barry Warsaw
2015-10-06  4:52               ` Dmitry Gutov
2015-10-02  0:36         ` Stefan Monnier
2015-09-29 19:20 ` Przemysław Wojnowski
2015-09-29 21:46 ` John Wiegley
2015-10-01  6:12   ` Andreas Röhler
2015-10-01 13:55     ` Tassilo Horn
2015-10-01 14:44     ` Xue Fuqiao
2015-10-01 19:58       ` Mathieu Lirzin
2015-10-01 20:46         ` John Wiegley
2015-10-01 21:18           ` Yoni Rabkin
2015-10-02  0:38             ` John Wiegley
2015-10-02  0:44               ` Dmitry Gutov
2015-10-02  0:49                 ` John Wiegley
2015-10-02  1:00                   ` Dmitry Gutov
2015-10-02  1:05               ` David Kastrup
2015-10-02  1:55                 ` John Wiegley
2015-10-03  1:37                 ` Richard Stallman
2015-10-03  7:20                   ` Andreas Röhler
2015-10-03 18:25                   ` John Wiegley
2015-10-03 19:04                     ` David Kastrup
2015-10-03 19:26                       ` John Wiegley
2015-10-03 19:56                         ` David Kastrup
2015-10-03 20:03                         ` Andreas Röhler
2015-10-03 20:10                           ` David Kastrup
2015-10-03 20:44                             ` John Wiegley
2015-10-03 21:49                               ` Juanma Barranquero
2015-10-03 22:15                                 ` John Wiegley
2015-10-04  6:40                                 ` Eli Zaretskii
2015-10-04 14:13                                 ` Richard Stallman
2015-10-03 22:34                               ` Jean-Christophe Helary
2015-10-03 22:53                                 ` John Wiegley
2015-10-04  0:30                                   ` Lennart Borgman
2015-10-03 20:44                             ` Andreas Röhler
2015-10-03 21:03                               ` David Kastrup
2015-10-03 21:43                         ` John Wiegley
2015-10-04 14:13                           ` Richard Stallman
2015-10-04 21:41                             ` John Wiegley
2015-10-05 17:10                               ` Richard Stallman
2015-10-05 19:20                                 ` John Wiegley
2015-10-05 19:25                                   ` Dmitry Gutov
2015-10-05 19:31                                     ` Jay Belanger
2015-10-05 19:45                                       ` Dmitry Gutov
2015-10-05 20:16                                         ` Jay Belanger
2015-10-05 20:37                                           ` John Wiegley
2015-10-05 20:48                                             ` David Engster
2015-10-05 21:04                                               ` John Wiegley
2015-10-05 21:03                                             ` Jay Belanger
2015-10-06  7:34                                               ` David Kastrup
2015-10-06  7:31                                             ` David Kastrup
2015-10-06 21:53                                             ` Karl Fogel
2015-10-06 22:15                                               ` David Kastrup
2015-10-06 22:59                                               ` John Wiegley
2015-10-06 23:22                                                 ` Karl Fogel
2015-10-07 11:34                                                 ` Phillip Lord
2015-10-07 16:15                                                   ` John Wiegley
2015-10-07 16:48                                                     ` Phillip Lord
2015-10-07 16:53                                                     ` David Kastrup
2015-10-07 17:26                                                     ` Stephen J. Turnbull
2015-10-07 18:11                                                       ` David Kastrup
2015-10-08  4:34                                                         ` Stephen J. Turnbull
2015-10-12 19:59                                                     ` Richard Stallman
2015-10-05 20:48                                           ` Dmitry Gutov
2015-10-07  0:18                                   ` Richard Stallman
2015-10-07  6:43                                     ` John Wiegley
2015-10-07  7:43                                       ` David Kastrup
2015-10-07  8:42                                         ` joakim
2015-10-08 22:20                                       ` Karl Fogel
2015-10-09  0:14                                         ` John Wiegley
2015-10-09  5:03                                           ` David Kastrup
2015-10-09  7:30                                           ` Eli Zaretskii
2015-10-09 17:25                                             ` John Wiegley
2015-10-09 18:52                                               ` Eli Zaretskii
2015-10-09 19:06                                                 ` John Wiegley
2015-10-11 20:51                                           ` Richard Stallman
2015-10-09  3:04                                       ` Richard Stallman
2015-10-11  6:49                                         ` Tom
2015-10-11  7:13                                           ` David Kastrup
2015-10-11  7:45                                           ` Stephen J. Turnbull
2015-10-05 17:32                               ` Artur Malabarba
2015-10-05 17:05                           ` Richard Stallman
2015-10-05 19:03                             ` John Wiegley
2015-10-04  2:33                       ` Jens K. Loewe
2015-10-04  6:56                         ` Tassilo Horn
2015-10-04 15:49                         ` David Kastrup
2015-10-04 19:46                           ` Jens K. Loewe
2015-10-04 21:18                             ` John Wiegley
2015-10-04 21:34                             ` David Kastrup
2015-10-04 22:28                               ` Jens K. Loewe
2015-10-04 22:47                                 ` Dmitry Gutov
2015-10-04 23:20                                 ` David Kastrup
2015-10-04 23:55                                   ` Jens K. Loewe
2015-10-05  6:00                                   ` Eli Zaretskii
2015-10-05  6:15                                     ` David Kastrup
2015-10-05  6:56                                       ` Artur Malabarba
2015-10-05 13:55                                         ` Michael Westbom
2015-10-05  6:59                                       ` Eli Zaretskii
2015-10-05  7:36                                         ` David Kastrup
2015-10-05  8:23                                           ` Eli Zaretskii
2015-10-05 14:38                                             ` Michael Westbom
2015-10-05 17:12                                             ` Richard Stallman
2015-10-05 17:12                                       ` Richard Stallman
2015-10-05  5:24                                 ` Ricardo Wurmus
2015-10-06 15:03                                   ` Richard Stallman
2015-10-05 17:10                                 ` Richard Stallman
2015-10-05 17:07                           ` Richard Stallman
2015-10-05 19:13                             ` John Wiegley
2015-10-05 17:04                         ` Richard Stallman
2015-10-05 21:21                     ` David Reitter
2015-10-05 22:21                       ` John Wiegley
2015-10-07 17:30                         ` David Reitter
2015-10-08  2:30                           ` Richard Stallman
2015-10-01 21:52           ` Dmitry Gutov
2015-10-01 22:08           ` Mathieu Lirzin
2015-10-02  0:13           ` David Kastrup
2015-10-02  2:07             ` Stephen J. Turnbull
2015-10-02  3:45               ` John Wiegley
2015-10-03  3:37                 ` Christopher Allan Webber
2015-10-02  8:14               ` David Kastrup
2015-10-02 15:21                 ` Drew Adams
2015-10-02 11:16               ` Juanma Barranquero
2015-10-02 13:03                 ` Rasmus
2015-10-02 15:45               ` Karl Fogel
2015-10-02 17:02                 ` John Wiegley
2015-10-02 19:20                   ` Karl Fogel
2015-10-03  5:34                   ` Rustom Mody
2015-10-03 12:03                     ` Óscar Fuentes
2015-10-03 12:24                       ` Dmitry Gutov
2015-10-03 20:04                       ` Przemysław Wojnowski
2015-10-04  6:26                         ` Eli Zaretskii
2015-10-04  7:03                           ` Przemysław Wojnowski
2015-10-04  7:13                             ` Eli Zaretskii
2015-10-06 21:58                               ` Przemysław Wojnowski
2015-10-07 15:27                                 ` Eli Zaretskii
2015-10-07 16:47                                   ` Malk'Zameth
2015-10-07 18:17                                     ` Eli Zaretskii
2015-10-07 18:42                                     ` Artur Malabarba
2015-10-12 19:59                                     ` Richard Stallman
2015-10-07 18:49                                   ` Przemysław Wojnowski
2015-10-07 19:15                                     ` Eli Zaretskii
2015-10-05 17:05                             ` Richard Stallman
2015-10-04 14:13                         ` Richard Stallman
2015-10-03  1:36           ` Richard Stallman
2015-10-03  8:04             ` Eli Zaretskii
2015-10-03 11:40               ` Xue Fuqiao
2015-10-03 19:47               ` David Engster
2015-10-03 19:52                 ` Eli Zaretskii
2015-10-03 20:14                   ` David Engster
2015-10-03 20:27                     ` John Wiegley
2015-10-03 11:50             ` Mathieu Lirzin
2015-10-04 14:11               ` Richard Stallman
2015-10-02  2:30         ` Richard Stallman
2015-10-01 23:26   ` Lennart Borgman
2015-10-02  2:24   ` Richard Stallman
2015-10-03 18:37     ` David De La Harpe Golden
2015-10-03 18:58       ` Eli Zaretskii
2015-10-03 19:08         ` John Wiegley
2015-10-03 19:12           ` John Wiegley
2015-10-03 19:25             ` Eli Zaretskii
2015-10-03 19:39               ` John Wiegley
2015-10-03 19:20           ` Eli Zaretskii
2015-10-03 18:59       ` John Wiegley
     [not found]         ` <<83fv1r3gzp.fsf@gnu.org>
2015-10-03 19:10         ` Eli Zaretskii
2015-10-03 19:19           ` John Wiegley
     [not found]             ` <<83bncf3f9k.fsf@gnu.org>
2015-10-03 19:48             ` Eli Zaretskii
2015-10-03 20:04               ` John Wiegley
     [not found]                 ` <<5610E0BC.8090902@online.de>
2015-10-04  8:18                 ` Andreas Röhler
2015-10-04  8:56                   ` Eli Zaretskii
     [not found]                     ` <<E1Zj9Cu-0001Ph-5n@fencepost.gnu.org>
2015-10-05 17:05                     ` Richard Stallman
2015-10-05 17:14                       ` Eli Zaretskii
     [not found]                         ` <<m2bncd16lh.fsf@newartisans.com>
2015-10-05 19:02                         ` John Wiegley
2015-10-05 19:32                           ` Eli Zaretskii
2015-10-05 19:38                             ` Daniel Colascione
2015-10-05 19:43                               ` Eli Zaretskii
2015-10-05 20:00                           ` Eli Zaretskii
2015-10-05 20:38                             ` John Wiegley
2015-10-05 21:20                           ` Dmitry Gutov
     [not found]                             ` <<E1ZjcRM-000333-Eb@fencepost.gnu.org>
     [not found]                               ` <<loom.20151010T062303-9@post.gmane.org>
2015-10-05 22:12                             ` Artur Malabarba
2015-10-05 22:24                               ` John Wiegley
2015-10-05 23:42                                 ` Artur Malabarba
2015-10-05 23:52                                   ` John Wiegley
2015-10-06  6:13                             ` Andreas Röhler
2015-10-06  6:25                               ` Ricardo Wurmus
2015-10-06  7:39                               ` David Kastrup
2015-10-06  6:29                             ` Andreas Röhler
2015-10-06  7:29                               ` Rasmus
2015-10-07  0:18                             ` IDE Richard Stallman
2015-10-10  4:33                               ` IDE Tom
2015-10-10  7:56                                 ` IDE Eli Zaretskii
     [not found]                                   ` <<5618C92A.3040207@yandex.ru>
2015-10-10  8:15                                   ` IDE Dmitry Gutov
2015-10-10  8:30                                     ` IDE Eli Zaretskii
2015-10-10  8:59                                       ` IDE Dmitry Gutov
2015-10-10  9:40                                         ` IDE Eli Zaretskii
2015-10-10 10:14                                           ` IDE Dmitry Gutov
2015-10-10 10:34                                             ` IDE Eli Zaretskii
2015-10-10 10:50                                               ` IDE Dmitry Gutov
2015-10-10 11:03                                                 ` IDE Eli Zaretskii
2015-10-10 14:15                                                   ` IDE Dmitry Gutov
2015-10-10 14:25                                                     ` IDE Eli Zaretskii
2015-10-10 17:52                                                       ` IDE martin rudalics
2015-10-11 10:21                                                         ` IDE Dmitry Gutov
2015-10-11 10:25                                                           ` IDE martin rudalics
2015-10-11 10:29                                                             ` IDE Dmitry Gutov
2015-10-11 12:16                                                               ` IDE David Engster
2015-10-11 12:22                                                                 ` IDE Dmitry Gutov
2015-10-11 12:37                                                                   ` IDE David Engster
2015-10-11 12:56                                                                     ` IDE Dmitry Gutov
2015-10-12 11:45                                                                       ` IDE Eric Ludlam
2015-10-12 11:47                                                                         ` IDE Dmitry Gutov
2015-10-12 15:55                                                                           ` IDE Eli Zaretskii
2015-10-12 16:21                                                                             ` IDE Dmitry Gutov
2015-10-12 16:58                                                                               ` IDE Eli Zaretskii
2015-10-12 17:26                                                                                 ` IDE Dmitry Gutov
2015-10-12 17:39                                                                                   ` IDE Eli Zaretskii
2015-10-11 10:10                                                       ` IDE Dmitry Gutov
2015-10-11 10:17                                                         ` IDE martin rudalics
2015-10-11 11:02                                                           ` IDE Dmitry Gutov
2015-10-11 11:38                                                             ` IDE martin rudalics
2015-10-11 11:49                                                               ` IDE Dmitry Gutov
2015-10-11 12:08                                                                 ` IDE martin rudalics
2015-10-11 12:27                                                                   ` IDE David Engster
2015-10-11 12:49                                                                     ` IDE martin rudalics
2015-10-11 16:00                                                                     ` IDE Eli Zaretskii
2015-10-11 15:25                                                               ` IDE Eli Zaretskii
2015-10-11 18:47                                                                 ` IDE martin rudalics
2015-10-11 15:25                                                             ` IDE Eli Zaretskii
2015-10-11 22:06                                                               ` IDE Dmitry Gutov
2015-10-12 11:05                                                             ` IDE Oleh Krehel
2015-10-12 11:29                                                               ` IDE Dmitry Gutov
2015-10-12 12:37                                                                 ` IDE Oleh Krehel
2015-10-12 13:08                                                                   ` IDE Óscar Fuentes
2015-10-12 14:12                                                                     ` IDE Oleh Krehel
2015-10-12 16:21                                                                     ` IDE Eli Zaretskii
2015-10-12 13:33                                                                   ` IDE Dmitry Gutov
2015-10-12 14:08                                                                     ` IDE Oleh Krehel
2015-10-12 14:25                                                                       ` IDE Dmitry Gutov
2015-10-12 16:12                                                                   ` IDE Eli Zaretskii
2015-10-12 14:39                                                                 ` IDE Drew Adams
2015-10-12 14:49                                                                   ` IDE Dmitry Gutov
2015-10-12 15:02                                                                     ` IDE Drew Adams
2015-10-12 15:13                                                                       ` IDE Dmitry Gutov
2015-10-12 15:54                                                               ` IDE Eli Zaretskii
2015-10-12 18:06                                                                 ` IDE Steinar Bang
2015-10-14  2:32                                                               ` IDE Eric Ludlam
     [not found]                                                           ` <<561A41CA.6060908@yandex.ru>
     [not found]                                                             ` <<83a8rpqvg1.fsf@gnu.org>
2015-10-11 18:10                                                               ` IDE Drew Adams
2015-10-11 22:13                                                                 ` IDE Dmitry Gutov
2015-10-11 15:23                                                         ` IDE Eli Zaretskii
2015-10-11 22:10                                                           ` IDE Dmitry Gutov
2015-10-11 20:53                                                         ` IDE Richard Stallman
2015-10-11 21:40                                                           ` IDE John Wiegley
2015-10-12 20:01                                                             ` IDE Richard Stallman
2015-10-10 14:20                                                   ` IDE Dmitry Gutov
2015-10-10 14:37                                                     ` IDE Eli Zaretskii
2015-10-10 15:02                                                       ` IDE David Engster
2015-10-10 15:35                                                         ` IDE Eli Zaretskii
2015-10-10 17:52                                                           ` IDE martin rudalics
2015-10-10 18:31                                                             ` IDE John Wiegley
2015-10-10 18:46                                                               ` IDE David Kastrup
2015-10-10 19:03                                                                 ` IDE Eli Zaretskii
2015-10-10 19:11                                                                   ` IDE David Kastrup
2015-10-10 19:16                                                                     ` IDE Eli Zaretskii
2015-10-10 20:47                                                                       ` IDE David Kastrup
     [not found]                                                                     ` <<83lhbar0tn.fsf@gnu.org>
2015-10-10 20:15                                                                       ` IDE Drew Adams
2015-10-10 20:03                                                                   ` IDE John Wiegley
2015-10-11 20:52                                                                   ` IDE Richard Stallman
2015-10-10 18:58                                                               ` IDE Eli Zaretskii
2015-10-10 19:07                                                                 ` IDE David Kastrup
2015-10-10 19:14                                                                   ` IDE Eli Zaretskii
2015-10-10 20:09                                                                     ` IDE John Wiegley
2015-10-10 21:23                                                                 ` IDE Dmitry Gutov
2015-10-10 22:04                                                                   ` IDE Daniel Colascione
2015-10-11  8:15                                                                   ` IDE Andreas Röhler
2015-10-12 18:12                                                                 ` IDE Steinar Bang
2015-10-12 18:31                                                                   ` IDE Eli Zaretskii
2015-10-12 18:47                                                                     ` IDE David Kastrup
2015-10-13 23:34                                                                       ` IDE Richard Stallman
2015-10-14  7:33                                                                         ` IDE Steinar Bang
2015-10-10 22:05                                                               ` IDE Eric Ludlam
2015-10-10 23:20                                                                 ` IDE John Wiegley
2015-10-12 11:53                                                                   ` IDE Eric Ludlam
2015-10-12 20:06                                                                     ` IDE John Wiegley
2015-10-10 23:26                                                               ` IDE raman
2015-10-11 20:49                                                         ` IDE Richard Stallman
2015-10-11 13:18                                           ` IDE Przemysław Wojnowski
2015-10-11 13:26                                             ` IDE Jean-Christophe Helary
2015-10-11 13:34                                               ` IDE Przemysław Wojnowski
2015-10-11 13:41                                                 ` IDE Jean-Christophe Helary
2015-10-11 14:05                                                   ` IDE Przemysław Wojnowski
2015-10-11 14:18                                                     ` IDE Jean-Christophe Helary
2015-10-11 13:59                                               ` IDE Óscar Fuentes
2015-10-11 14:10                                                 ` IDE Jean-Christophe Helary
2015-10-11 14:10                                             ` IDE Przemysław Wojnowski
2015-10-11 16:04                                             ` IDE Eli Zaretskii
2015-10-11 17:05                                               ` IDE Przemysław Wojnowski
2015-10-11 17:15                                                 ` IDE Eli Zaretskii
2015-10-11 17:32                                                   ` IDE David Kastrup
2015-10-12 19:59                                                     ` IDE Richard Stallman
2015-10-11 18:55                                                   ` IDE Przemysław Wojnowski
2015-10-11 18:12                                             ` IDE John Wiegley
2015-10-12 11:46                                             ` IDE Dmitry Gutov
2015-10-12 14:40                                               ` IDE Drew Adams
2015-10-12 14:55                                                 ` IDE Tom
2015-10-12 15:11                                                   ` IDE Drew Adams
2015-10-24 14:17                                                 ` IDE Nix
2015-10-24 14:25                                                   ` IDE Eli Zaretskii
2015-10-24 16:29                                                     ` IDE Nix
2015-10-24 16:56                                                       ` IDE Eli Zaretskii
2015-10-24 17:00                                                       ` IDE Drew Adams
2015-10-24 17:12                                                         ` IDE Dmitry Gutov
2015-10-24 17:42                                                           ` IDE Drew Adams
2015-10-24 18:10                                                             ` IDE Dmitry Gutov
2015-10-24 18:43                                                               ` IDE Drew Adams
2015-10-25 17:38                                                                 ` IDE Richard Stallman
2015-10-24 17:00                                                     ` IDE Drew Adams
2015-10-24 17:10                                                       ` IDE Eli Zaretskii
2015-10-26 17:32                                                         ` IDE Steinar Bang
2015-10-26 18:28                                                           ` IDE Eli Zaretskii
2015-10-26 20:04                                                             ` IDE Andreas Schwab
2015-10-26 20:18                                                               ` IDE Eli Zaretskii
2015-10-26 20:27                                                                 ` IDE Óscar Fuentes
2015-10-26 20:34                                                                   ` IDE Dmitry Gutov
2015-10-26 22:09                                                                     ` IDE Óscar Fuentes
2015-10-26 22:44                                                                       ` IDE Dmitry Gutov
2015-10-26 23:06                                                                         ` IDE Óscar Fuentes
2015-10-26 23:19                                                                           ` IDE Dmitry Gutov
2015-10-26 23:40                                                                             ` IDE Óscar Fuentes
2015-10-27  0:18                                                                               ` IDE Dmitry Gutov
2015-10-27  1:33                                                                           ` IDE Eric Ludlam
2015-10-27  3:01                                                                             ` IDE Nikolaus Rath
2015-10-27  3:49                                                                               ` IDE Eli Zaretskii
2015-10-27  4:02                                                                                 ` IDE Nikolaus Rath
2015-10-27 17:50                                                                                   ` IDE Eli Zaretskii
2015-10-27 18:41                                                                                     ` IDE Nikolaus Rath
2015-10-28 16:09                                                                                       ` IDE Nix
2015-10-26 20:41                                                                   ` IDE Eli Zaretskii
2015-10-26 22:16                                                                     ` IDE Óscar Fuentes
2015-10-27  3:38                                                                       ` IDE Eli Zaretskii
2015-10-27 12:24                                                                         ` IDE Óscar Fuentes
2015-10-27 18:03                                                                           ` IDE Eli Zaretskii
2015-10-27 18:38                                                                             ` IDE Óscar Fuentes
2015-10-26 21:14                                                                 ` IDE Andreas Schwab
2015-10-27  3:33                                                                   ` IDE Eli Zaretskii
2015-10-27 17:39                                                                     ` IDE Andreas Schwab
2015-10-27 18:35                                                                       ` IDE Eli Zaretskii
2015-10-27  8:20                                                         ` IDE Marcus Harnisch
2015-10-24 17:02                                                     ` IDE Dmitry Gutov
2015-10-24 17:11                                                       ` IDE Eli Zaretskii
2015-10-24 17:15                                                         ` IDE Dmitry Gutov
2015-10-24 17:20                                                           ` IDE Eli Zaretskii
2015-10-24 18:15                                                             ` IDE Dmitry Gutov
2015-10-24 18:59                                                               ` IDE Eli Zaretskii
2015-10-24 19:07                                                                 ` IDE Dmitry Gutov
2015-10-27  8:21                                                                 ` IDE Oleh Krehel
2015-10-27 17:58                                                                   ` IDE Eli Zaretskii
2015-10-24 17:00                                                   ` IDE Drew Adams
2015-10-12 21:54                                               ` IDE Przemysław Wojnowski
2015-10-13  0:12                                                 ` IDE Dmitry Gutov
2015-10-14  2:45                                                 ` IDE Eric Ludlam
2015-10-14 11:42                                                   ` IDE Dmitry Gutov
2015-10-14 12:14                                                     ` IDE Alexis
2015-10-14 13:53                                                       ` IDE Dmitry Gutov
2015-10-15  3:31                                                         ` IDE Eric Ludlam
2015-10-15  0:14                                                     ` IDE Eric Ludlam
2015-10-15  4:21                                                       ` IDE Dmitry Gutov
2015-10-15  5:07                                                         ` IDE Elias Mårtenson
2015-10-15  5:16                                                           ` IDE Dmitry Gutov
2015-10-15 13:20                                                             ` IDE Eric Ludlam
2015-10-15 13:18                                                         ` IDE Eric Ludlam
2015-10-15 19:58                                                           ` IDE Przemysław Wojnowski
2015-10-15 20:31                                                           ` IDE Dmitry Gutov
2015-10-16  7:39                                                             ` IDE Przemysław Wojnowski
2015-10-16 10:27                                                               ` IDE Dmitry Gutov
2015-10-16 11:17                                                                 ` IDE Przemysław Wojnowski
2015-10-16 11:42                                                                   ` IDE Dmitry Gutov
2015-10-16 16:47                                                                   ` IDE Lluís
2015-10-17  3:56                                                                     ` IDE Dmitry Gutov
2015-10-17 17:18                                                                       ` IDE Lluís
2015-10-17 23:11                                                                         ` IDE Dmitry Gutov
2015-10-18 18:21                                                                           ` IDE Lluís
2015-10-18 21:35                                                                             ` IDE Dmitry Gutov
2015-10-19 13:04                                                                               ` IDE Lluís
2015-10-20  0:45                                                                                 ` IDE Dmitry Gutov
2015-10-20 12:37                                                                                   ` IDE Lluís
2015-10-21  0:44                                                                                     ` IDE Dmitry Gutov
2015-10-21 14:40                                                                                       ` IDE Lluís
2015-10-21 16:24                                                                                         ` IDE Dmitry Gutov
2015-10-20 15:23                                                                                   ` IDE Steinar Bang
2015-10-21  1:06                                                                                     ` IDE Dmitry Gutov
2015-10-21 14:52                                                                                       ` IDE Lluís
2015-10-28  2:30                                                                                         ` IDE Dmitry Gutov
2015-10-28 13:36                                                                                           ` IDE Lluís
2015-10-27 17:28                                                                                       ` IDE Steinar Bang
2015-10-28 12:34                                                                                         ` IDE Filipp Gunbin
2015-10-28 15:57                                                                                           ` IDE Steinar Bang
2015-10-28 19:20                                                                                             ` IDE Filipp Gunbin
2015-10-29  2:32                                                                                             ` IDE Richard Stallman
2015-11-01 17:59                                                                                           ` IDE Dmitry Gutov
2015-11-01 20:10                                                                                             ` IDE Steinar Bang
2015-11-01 20:34                                                                                               ` IDE Dmitry Gutov
2015-11-01 17:49                                                                                         ` IDE Dmitry Gutov
2015-10-17  0:41                                                                   ` IDE Xue Fuqiao
2015-10-17  2:16                                                                   ` IDE Eric Ludlam
2015-10-18 22:38                                                                     ` IDE David Engster
2015-10-17  2:10                                                               ` IDE Eric Ludlam
2015-10-17  3:24                                                                 ` Is EDE only intended to be used with languages which /require/ a 'compile' step? [was: Re: IDE] Alexis
2015-10-17 14:09                                                                   ` Eric Ludlam
2015-10-22  8:46                                                                     ` Alexis
2015-10-22 18:25                                                                       ` Aaron Ecay
2015-10-10 16:48                                         ` IDE Eric Ludlam
2015-10-11  4:38                                           ` IDE Dmitry Gutov
2015-10-11 15:08                                             ` IDE Eli Zaretskii
2015-10-11 15:23                                               ` IDE David Kastrup
2015-10-11 15:34                                                 ` IDE Eli Zaretskii
2015-10-11 21:55                                               ` IDE Dmitry Gutov
2015-10-11 17:37                                             ` IDE Eric Ludlam
2015-10-12 15:18                                               ` IDE Dmitry Gutov
2015-10-13 22:29                                                 ` IDE Eric Ludlam
2015-10-15  3:16                                                   ` IDE Dmitry Gutov
2015-10-15 12:57                                                     ` IDE Eric Ludlam
2015-10-16 10:00                                                       ` IDE Przemysław Wojnowski
2015-10-16 13:06                                                         ` IDE Dmitry Gutov
2015-10-16 13:05                                                       ` IDE Dmitry Gutov
2015-10-17  2:39                                                         ` IDE Eric Ludlam
2015-10-17  3:06                                                           ` IDE Dmitry Gutov
2015-10-17 12:45                                                             ` IDE Eric Ludlam
2015-10-17 14:09                                                               ` IDE Stephen Leake
2015-10-17 14:25                                                               ` IDE Dmitry Gutov
2015-10-17 14:41                                                                 ` IDE David Engster
2015-10-17 14:44                                                                   ` IDE Dmitry Gutov
2015-10-19 11:51                                                                 ` IDE Eric Ludlam
2015-10-20  0:56                                                                   ` IDE Dmitry Gutov
2015-10-21  2:41                                                                     ` IDE Eric Ludlam
2015-10-10  9:51                                       ` IDE David Engster
2015-10-10 10:02                                         ` IDE Eli Zaretskii
2015-10-10 20:25                                           ` IDE David Engster
2015-10-13 13:02                                       ` IDE Lluís
2015-10-13 16:03                                         ` IDE John Wiegley
2015-10-13 16:28                                           ` IDE David Kastrup
2015-10-13 16:40                                             ` IDE John Wiegley
2015-10-14  3:16                                             ` IDE Eric Ludlam
2015-10-14  6:04                                               ` IDE John Wiegley
2015-10-14  8:09                                               ` IDE David Kastrup
2015-10-14 12:05                                                 ` IDE Eric Ludlam
2015-10-15  3:40                                                   ` IDE Dmitry Gutov
2015-10-15 13:08                                                     ` IDE Eric Ludlam
2015-10-15 21:03                                                       ` IDE Dmitry Gutov
2015-10-16  2:40                                                         ` IDE Eric Ludlam
2015-10-16 10:21                                                           ` IDE Dmitry Gutov
2015-10-14 13:17                                                 ` IDE Stephen Leake
2015-10-14 13:36                                                   ` IDE David Kastrup
2015-10-14 10:47                                               ` IDE Dmitry Gutov
2015-10-16 22:58                                                 ` IDE John Wiegley
2015-10-17  7:58                                                   ` IDE Eli Zaretskii
2015-10-17  8:39                                                     ` IDE David Kastrup
2015-10-17 16:12                                                       ` IDE Przemysław Wojnowski
2015-10-17 16:28                                                         ` IDE David Kastrup
2015-10-17 16:38                                                       ` IDE Eli Zaretskii
2015-10-18  8:13                                                       ` IDE Steinar Bang
2015-10-17 12:00                                                     ` IDE David Engster
2015-10-17 13:21                                                       ` IDE Dmitry Gutov
2015-10-17 15:26                                                         ` IDE David Engster
2015-10-17 20:19                                                           ` IDE Dmitry Gutov
2015-10-17 22:03                                                             ` IDE Przemysław Wojnowski
2015-10-17 22:07                                                               ` IDE Dmitry Gutov
2015-10-17 22:28                                                                 ` IDE Przemysław Wojnowski
2015-10-17 22:37                                                                   ` IDE Dmitry Gutov
2015-10-18  9:08                                                                     ` IDE Przemysław Wojnowski
2015-10-18  9:42                                                                       ` IDE Dmitry Gutov
2015-10-20  1:07                                                                         ` IDE Eric Ludlam
2015-10-21  0:23                                                                           ` IDE Dmitry Gutov
2015-10-18 11:56                                                             ` IDE David Engster
2015-10-18 12:11                                                               ` IDE David Kastrup
2015-10-18 16:34                                                               ` IDE Dmitry Gutov
2015-10-18 17:12                                                                 ` IDE David Engster
2015-10-18 17:28                                                                   ` IDE David Kastrup
2015-10-20  1:25                                                                     ` IDE Eric Ludlam
2015-10-18 18:17                                                                   ` IDE Achim Gratz
2015-10-18 18:28                                                                     ` IDE David Kastrup
2015-10-18 18:50                                                                       ` IDE Achim Gratz
2015-10-18 18:58                                                                         ` IDE David Kastrup
2015-10-18 20:42                                                                   ` IDE Dmitry Gutov
2015-10-20  1:03                                                         ` IDE Eric Ludlam
2015-10-20 11:28                                                           ` IDE Dmitry Gutov
2015-10-21  3:13                                                             ` IDE Eric Ludlam
2015-10-21 10:54                                                               ` IDE Dmitry Gutov
2015-10-21 22:52                                                                 ` IDE Eric Ludlam
2015-10-21 23:57                                                                   ` IDE Dmitry Gutov
2015-10-22  1:35                                                                     ` IDE Eric Ludlam
2015-10-22 11:17                                                                       ` IDE Dmitry Gutov
2015-10-22 12:58                                                                         ` IDE Eric Ludlam
2015-10-22 21:47                                                                           ` IDE Louis Höfler
2015-10-28  2:16                                                                           ` IDE Dmitry Gutov
2015-10-28 11:39                                                                             ` IDE Eric Ludlam
2015-10-28 14:45                                                                               ` Universal tag structure, was: IDE Dmitry Gutov
2015-10-28 14:54                                                                               ` IDE Dmitry Gutov
2015-11-03 11:54                                                                               ` IDE joakim
2015-10-29 11:12                                                                             ` IDE Oleh Krehel
2015-10-29 11:26                                                                               ` IDE Dmitry Gutov
2015-10-29 11:37                                                                                 ` IDE Oleh Krehel
2015-10-29 12:38                                                                                   ` IDE Dmitry Gutov
2015-10-29 12:56                                                                                     ` IDE Oleh Krehel
2015-10-29 13:13                                                                                       ` IDE Dmitry Gutov
2015-10-29 22:35                                                                                         ` IDE Eric Ludlam
2015-10-30  9:04                                                                                           ` IDE Oleh Krehel
2015-10-31  1:24                                                                                             ` IDE Xue Fuqiao
2015-10-31 11:40                                                                                               ` IDE Oleh Krehel
2015-11-02 11:50                                                                                                 ` IDE Eric Ludlam
2015-11-03 13:35                                                                                                   ` IDE Oleh Krehel
2015-10-23 11:33                                                                   ` IDE Evgeniy Dushistov
2015-10-23 14:55                                                                     ` IDE David Engster
2015-10-23 15:51                                                                       ` IDE Evgeniy Dushistov
2015-10-23 16:25                                                                         ` IDE David Engster
2015-10-18  5:23                                                     ` IDE John Wiegley
2015-10-18 16:55                                                       ` IDE Eli Zaretskii
2015-10-18 17:29                                                         ` IDE John Wiegley
2015-10-25  7:43                                                       ` IDE Andreas Röhler
2015-10-14  3:01                                         ` IDE Eric Ludlam
     [not found]                                       ` <<5618D376.1080700@yandex.ru>
     [not found]                                         ` <<831td3t62e.fsf@gnu.org>
     [not found]                                           ` <<561A6199.1020901@cumego.com>
     [not found]                                             ` <<561B9D87.70504@yandex.ru>
     [not found]                                               ` <<e09b7acc-7b1e-4940-a8fb-267f0b2d34b8@default>
     [not found]                                                 ` <<87vb9wcpw9.fsf@esperi.org.uk>
     [not found]                                                   ` <<83eggkwdgh.fsf@gnu.org>
     [not found]                                                     ` <<e1f40670-22b9-4f19-b9f9-f49107bbf468@default>
     [not found]                                                       ` <<83611ww5uc.fsf@gnu.org>
2015-10-24 17:37                                                         ` IDE Drew Adams
2015-10-24 17:47                                                           ` IDE Eli Zaretskii
2015-10-10  9:00                                   ` IDE David Kastrup
2015-10-10  9:17                                     ` IDE Dmitry Gutov
2015-10-10  9:55                                     ` IDE Eli Zaretskii
2015-10-10 10:02                                       ` IDE David Engster
2015-10-10 10:17                                         ` IDE Eli Zaretskii
2015-10-10 10:29                                           ` IDE David Engster
2015-10-10 10:36                                             ` IDE Eli Zaretskii
2015-10-10 10:42                                               ` IDE David Engster
2015-10-10 10:23                                       ` David Kastrup [this message]
2015-10-10 10:35                                         ` IDE Eli Zaretskii
2015-10-10 10:47                                           ` IDE David Kastrup
2015-10-10 10:58                                             ` IDE Eli Zaretskii
2015-10-10 11:20                                               ` IDE David Kastrup
2015-10-10 11:25                                                 ` IDE Eli Zaretskii
2015-10-10 12:44                                       ` IDE Óscar Fuentes
2015-10-11 22:23                               ` IDE John Yates
2015-10-12  2:45                                 ` IDE Eli Zaretskii
2015-10-12  9:45                                   ` IDE John Yates
2015-10-12  9:53                                     ` IDE Daniel Colascione
2015-10-12 15:49                                     ` IDE Eli Zaretskii
2015-10-06  1:15                           ` New maintainer Paul Nathan
2015-10-06  4:30                             ` Dmitry Gutov
2015-10-06  6:36                               ` Andreas Röhler
2015-10-06  7:33                                 ` Rasmus
2015-10-09  3:03                             ` Richard Stallman
2015-10-07  0:18                           ` Richard Stallman
2015-10-04 14:13       ` Richard Stallman
2015-10-07  5:08   ` Bastien
2015-10-07  8:52   ` Travis Jeffery
2015-09-30  0:26 ` Xue Fuqiao
     [not found] <<8f6b4e5c-6872-4f53-845e-b671b7fe0f8e@default>
     [not found] ` <<831tckw43x.fsf@gnu.org>
2015-10-24 18:09   ` IDE 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

  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=87lhbbggz4.fsf@fencepost.gnu.org \
    --to=dak@gnu.org \
    --cc=adatgyujto@gmail.com \
    --cc=eliz@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).