From: "Eric S. Raymond" <esr@thyrsus.com>
To: "Brent D. Norris" <brent@biglinux.tccw.wku.edu>
Cc: linux-kernel@vger.kernel.org, kbuild-devel@lists.sourceforge.net
Subject: Re: [kbuild-devel] Re: CML2 design philosophy heads-up
Date: Mon, 21 May 2001 13:48:55 -0400 [thread overview]
Message-ID: <20010521134855.A11361@thyrsus.com> (raw)
In-Reply-To: <E151ooP-0003i0-00@the-village.bc.nu> <Pine.LNX.4.30.0105211138150.14726-100000@biglinux.tccw.wku.edu>
In-Reply-To: <Pine.LNX.4.30.0105211138150.14726-100000@biglinux.tccw.wku.edu>; from brent@biglinux.tccw.wku.edu on Mon, May 21, 2001 at 11:39:30AM -0500
Brent D. Norris <brent@biglinux.tccw.wku.edu>:
> didn't Eric say that this has stalled though? Is that not the case?
Nope. Greg is still working. He got the first version of the theorem prover
working recently.
--
<a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a>
A wise and frugal government, which shall restrain men from injuring
one another, which shall leave them otherwise free to regulate their
own pursuits of industry and improvement, and shall not take from the
mouth of labor the bread it has earned. This is the sum of good
government, and all that is necessary to close the circle of our
felicities.
-- Thomas Jefferson, in his 1801 inaugural address
next prev parent reply other threads:[~2001-05-21 17:46 UTC|newest]
Thread overview: 157+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-05-05 23:27 CML2 design philosophy heads-up Eric S. Raymond
2001-05-06 12:58 ` Alan Cox
2001-05-07 17:59 ` Tom Rini
2001-05-07 21:57 ` Alan Cox
2001-05-08 9:44 ` Eric S. Raymond
2001-05-08 12:42 ` Helge Hafting
2001-05-08 1:31 ` Eric S. Raymond
2001-05-08 1:43 ` Tom Rini
2001-05-08 1:56 ` Eric S. Raymond
2001-05-08 6:57 ` David Weinehall
2001-05-08 7:00 ` Eric S. Raymond
2001-05-08 6:59 ` Jamie Lokier
2001-05-08 7:15 ` Eric S. Raymond
2001-05-08 14:15 ` Rogier Wolff
2001-05-13 14:22 ` Jes Sorensen
2001-05-13 15:25 ` Eric S. Raymond
2001-05-15 14:43 ` Pavel Machek
2001-05-17 7:26 ` Eric S. Raymond
2001-05-17 7:47 ` Keith Owens
2001-05-17 9:35 ` Michael Meissner
2001-05-17 16:34 ` Tom Rini
2001-05-18 7:43 ` Eric S. Raymond
2001-05-18 8:20 ` Alan Cox
2001-05-18 14:53 ` Eric S. Raymond
2001-05-18 14:06 ` David Lang
2001-05-18 15:09 ` Keith Owens
2001-05-18 15:19 ` Arjan van de Ven
2001-05-18 15:39 ` Alan Cox
2001-05-18 15:58 ` [kbuild-devel] " Eric S. Raymond
2001-05-18 16:01 ` Alan Cox
2001-05-18 16:34 ` Eric S. Raymond
2001-05-18 16:43 ` Christoph Hellwig
2001-05-18 16:45 ` Arjan van de Ven
2001-05-18 17:17 ` Eric S. Raymond
2001-05-18 17:22 ` Arjan van de Ven
2001-05-18 17:25 ` Eric S. Raymond
2001-05-19 5:54 ` Ben Ford
2001-05-18 17:33 ` Alan Cox
2001-05-18 18:25 ` Eric S. Raymond
2001-05-18 19:13 ` Alan Cox
2001-05-18 19:44 ` Eric S. Raymond
2001-05-18 20:38 ` Alan Cox
2001-05-19 1:49 ` Aaron Lehmann
2001-05-18 19:12 ` Jes Sorensen
2001-05-18 15:11 ` Arjan van de Ven
2001-05-18 15:26 ` Eric S. Raymond
2001-05-18 15:34 ` Charles Cazabon
2001-05-18 14:30 ` David Lang
2001-05-18 15:47 ` Charles Cazabon
2001-05-18 15:42 ` Alan Cox
2001-05-19 5:44 ` Ben Ford
[not found] ` <mailman.990252541.15890.linux-kernel2news@redhat.com>
2001-05-19 6:40 ` Pete Zaitcev
2001-05-19 10:10 ` Ben Ford
2001-05-19 10:55 ` Arjan van de Ven
2001-05-19 16:13 ` Alan Cox
2001-05-19 21:54 ` Ben Ford
2001-05-20 0:08 ` Alan Cox
2001-05-18 15:37 ` Arjan van de Ven
2001-05-18 15:49 ` Eric S. Raymond
2001-05-18 16:16 ` Arjan van de Ven
2001-05-18 17:04 ` Eric S. Raymond
2001-05-20 11:19 ` David Woodhouse
2001-05-20 15:18 ` Eric S. Raymond
2001-05-20 15:34 ` Keith Owens
2001-05-20 15:34 ` David Woodhouse
2001-05-20 15:44 ` Eric S. Raymond
2001-05-20 15:56 ` David Woodhouse
2001-05-20 17:14 ` Background to the argument about CML2 design philosophy Eric S. Raymond
2001-05-21 0:45 ` Jes Sorensen
2001-05-21 9:14 ` Helge Hafting
2001-05-21 11:32 ` Jonathan Morton
2001-05-22 20:38 ` Eric S. Raymond
2001-05-21 12:15 ` David Woodhouse
2001-05-21 12:31 ` Alan Cox
2001-05-21 23:11 ` Jonathan Morton
2001-05-20 17:47 ` David Woodhouse
2001-05-20 20:47 ` Eric S. Raymond
2001-05-20 20:59 ` Arjan van de Ven
2001-05-20 21:10 ` Robert M. Love
2001-05-21 3:38 ` Nicolas Pitre
2001-05-20 22:51 ` David Woodhouse
2001-05-21 1:13 ` Eric S. Raymond
2001-05-21 6:41 ` David Woodhouse
2001-05-21 10:04 ` Eric S. Raymond
2001-05-21 11:05 ` David Woodhouse
2001-05-21 20:38 ` John Stoffel
2001-05-22 0:59 ` Keith Owens
2001-05-22 9:24 ` Daniel Phillips
2001-05-23 1:51 ` Keith Owens
2001-05-21 23:00 ` Jonathan Morton
2001-05-22 13:45 ` David Woodhouse
2001-05-22 16:21 ` John Stoffel
2001-05-22 17:17 ` David Woodhouse
2001-05-21 3:33 ` Nicolas Pitre
2001-05-20 20:59 ` David Woodhouse
2001-05-20 18:31 ` Jonathan Morton
2001-05-20 20:13 ` Eric S. Raymond
2001-05-18 15:59 ` CML2 design philosophy heads-up Jonathan Morton
2001-05-18 16:17 ` Eric S. Raymond
2001-05-18 17:35 ` Mike Galbraith
2001-05-18 20:03 ` Alan Cox
2001-05-18 17:07 ` Daniel Phillips
2001-05-18 15:38 ` Alan Cox
2001-05-18 16:04 ` Eric S. Raymond
2001-05-18 16:09 ` [kbuild-devel] " Christoph Hellwig
2001-05-18 16:43 ` Michael Meissner
2001-05-18 17:13 ` Arjan van de Ven
2001-05-18 17:22 ` Eric S. Raymond
2001-05-18 17:42 ` Christoph Hellwig
2001-05-18 17:42 ` Alan Cox
2001-05-18 18:28 ` John Cowan
2001-05-18 17:23 ` Alan Cox
2001-05-18 17:41 ` Eric S. Raymond
2001-05-18 15:54 ` Christer Weinigel
2001-05-18 16:02 ` [kbuild-devel] " Kai Germaschewski
2001-05-18 19:12 ` frank
2001-05-15 20:32 ` Jes Sorensen
2001-05-15 21:33 ` Eric S. Raymond
2001-05-18 15:19 ` Jes Sorensen
2001-05-18 15:37 ` Justin Carlson
2001-05-18 15:42 ` Eric S. Raymond
2001-05-18 15:53 ` Alan Cox
2001-05-18 15:51 ` [kbuild-devel] " John Cowan
2001-05-18 15:58 ` Christoph Hellwig
2001-05-18 16:00 ` John Cowan
2001-05-18 17:15 ` Mike Castle
2001-05-18 17:28 ` Christoph Hellwig
2001-05-21 0:29 ` Jes Sorensen
2001-05-21 1:58 ` Mike Castle
2001-05-21 6:33 ` Ben Ford
2001-05-21 9:55 ` Jes Sorensen
2001-05-21 16:59 ` Mike Castle
2001-05-21 17:03 ` Alan Cox
2001-05-21 7:21 ` arjan
2001-05-21 2:10 ` Robert M. Love
2001-05-21 2:35 ` Jakob Østergaard
2001-05-21 5:01 ` Mike Galbraith
2001-05-21 9:58 ` Jes Sorensen
2001-05-21 15:36 ` Tom Rini
2001-05-21 16:24 ` Eric S. Raymond
2001-05-21 6:11 ` Mike A. Harris
2001-05-21 12:08 ` Robert M. Love
2001-05-21 12:29 ` Alan Cox
2001-05-21 16:39 ` Brent D. Norris
2001-05-21 17:48 ` Eric S. Raymond [this message]
2001-05-21 15:18 ` Wichert Akkerman
2001-05-21 15:21 ` Alan Cox
2001-05-21 15:52 ` Alexander Viro
2001-05-21 3:47 ` Nicolas Pitre
2001-05-18 16:22 ` Steven Cole
[not found] ` <0105210958040I.10237@spc.esa.lanl.gov>
[not found] ` <20010521090130.F9965@opus.bloom.county>
2001-05-21 16:13 ` Steven Cole
2001-05-18 17:10 ` Ruth Ivimey-Cook
-- strict thread matches above, loose matches on Subject: below --
2001-05-18 17:11 [kbuild-devel] " Wayne.Brown
2001-05-18 20:04 Wayne.Brown
2001-05-18 20:43 ` Alan Cox
2001-05-18 20:56 ` Mike Castle
2001-05-18 22:52 Wayne.Brown
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20010521134855.A11361@thyrsus.com \
--to=esr@thyrsus.com \
--cc=brent@biglinux.tccw.wku.edu \
--cc=kbuild-devel@lists.sourceforge.net \
--cc=linux-kernel@vger.kernel.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.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox