unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: David Kastrup <dak@gnu.org>
To: Stephen Leake <stephen_leake@stephe-leake.org>
Cc: emacs-devel@gnu.org, Eric Ludlam <eric@siege-engine.com>
Subject: Re: IDE
Date: Wed, 14 Oct 2015 15:36:01 +0200	[thread overview]
Message-ID: <8737xdy3lq.fsf@fencepost.gnu.org> (raw)
In-Reply-To: <86lhb5wpwb.fsf@stephe-leake.org> (Stephen Leake's message of "Wed, 14 Oct 2015 08:17:24 -0500")

Stephen Leake <stephen_leake@stephe-leake.org> writes:

> David Kastrup <dak@gnu.org> writes:
>>
>> I got rid of it because it tended to eat all my CPU repeatedly digging
>> through buffers and files in the background.  I don't want some tool to
>> go treasure-hunting for hours in my directories without concrete cause,
>> then restart for inscrutable reasons.
>>
>> It had its own idea of projects not matching the projects I was working
>> with, and it's an absolute no-go for Emacs to meddle with project
>> organization: I want to be able to jump in with Emacs into any project
>> without any pre- or post-configuration.
>>
>> Maybe that's a decisive difference between what people got to expect
>> from an IDE and I expect from Emacs: if someone develops stuff in Visual
>> C++, everybody in the project is expected to use the project
>> organization tools of the Visual C++ IDE.  But I don't want my choice of
>> Emacs as an editor bleed all over a project.
>
> That means CEDET needs to recognize your Visual C++ project, just like
> the Visual C++ IDE does. CEDET does not currently support this.

Uh, no?  I don't think I ever used Visual C++.  Projects I work on use
Makefiles if anything.  Or some other build infrastructure.

So if CEDET needs project information, its first idea of getting it
should be to look at some toplevel Makefiles and, if it finds them, ask
GNU Make for dependencies and stuff and probably look at a few standard
Make targets.  That's what to expect in GNU projects, the most important
clientele.

But I don't think it should ever get foraging for stuff on its own.

>> Now you'll say that EDE (or Semantic, or whatever other component) is
>> entirely optional but it's hard to figure out just what the relations
>> of the various parts of CEDET are.  If you want to just work with the
>> code you have and not get stuff messed up, at some point of time it's
>> easier to just forego the whole inscrutable package and simplify
>> one's life.
>
> You seem to be implying that something in CEDET was changing things on
> the disk without your permission; is that what you are actually
> saying?

No.  I was saying

>> I got rid of it because it tended to eat all my CPU repeatedly
>> digging through buffers and files in the background.  I don't want
>> some tool to go treasure-hunting for hours in my directories without
>> concrete cause, then restart for inscrutable reasons.

Is there any reason to assume I mean something different when I write
stuff like that?

>> Again, that's a main difference to what a normal IDE is doing: it
>> tends to focus on a small set of languages and does them well when I
>> buy into the IDE, and I can use IDE features as needed.
>
> It's more than just the language; it's also the build tools and cross
> reference tools, and the associated configuration files.

Whatever.  I wrote why I got rid of CEDET, you answer that the world is
difficult for an IDE.  That's nice but irrelevant.  I'm fine with only
requiring those services of an IDE which it can provide without being
painful to me.  If I don't get any obvious way to choose, if it's "take
it all or leave it", then the probability is that I'll settle on the
"leave it" option.

-- 
David Kastrup



  reply	other threads:[~2015-10-14 13:36 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                                                   ` David Kastrup [this message]
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                                       ` IDE David Kastrup
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=8737xdy3lq.fsf@fencepost.gnu.org \
    --to=dak@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=eric@siege-engine.com \
    --cc=stephen_leake@stephe-leake.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).