From: "Eric S. Raymond" <esr@snark.thyrsus.com>
To: linux-kernel@vger.kernel.org, kbuild-devel@lists.sourceforge.net
Subject: CML 1.1.0, aka "I feel the need...the need for speed."
Date: Fri, 13 Apr 2001 23:17:57 -0400 [thread overview]
Message-ID: <200104140317.f3E3Hv805992@snark.thyrsus.com> (raw)
The latest version is always available at http://www.tuxedo.org/~esr/cml2/
Release 1.1.0: Fri Apr 13 23:10:56 EDT 2001
* Better-controlled recursivity in the theorem prover; reading in
defconfigs is much faster now.
* Revised config/xconfig/menuconfig/oldconfigs productions, these
should be a better match for the expected behavior now.
* Ternary-select (a ? b : c) added to the language.
Configurator startup is now so much faster it's almost ridiculous. Wheee!
I added ternary-select to handle some weird cases in the CRIS port
tree for 2.4.4-pre1.
--
<a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a>
Question with boldness even the existence of a God; because, if there
be one, he must more approve the homage of reason, than that of
blindfolded fear.... Do not be frightened from this inquiry from any
fear of its consequences. If it ends in the belief that there is no
God, you will find incitements to virtue in the comfort and
pleasantness you feel in its exercise...
-- Thomas Jefferson, in a 1787 letter to his nephew
next reply other threads:[~2001-04-14 3:16 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-04-14 3:17 Eric S. Raymond [this message]
2001-04-14 13:04 ` comments on CML 1.1.0 Marko Kreen
2001-04-14 15:58 ` jeff millar
2001-04-14 17:38 ` CML2 1.1.0 bug and snailspeed Anton Altaparmakov
2001-04-14 17:56 ` Eric S. Raymond
2001-04-15 23:55 ` Anton Altaparmakov
2001-04-16 17:02 ` Eric S. Raymond
2001-04-14 19:51 ` comments on CML 1.1.0 Eric S. Raymond
2001-04-17 1:31 ` Harald Welte
2001-04-17 14:24 ` Eric S. Raymond
2001-04-15 10:48 ` CML2 1.1.0 bug and snailspeed Anton Altaparmakov
2001-04-15 17:59 ` Eric S. Raymond
2001-04-15 13:20 ` comments on CML 1.1.0 Daniel Stone
2001-04-14 20:49 ` Eric S. Raymond
2001-04-24 0:21 ` Oliver Xymoron
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=200104140317.f3E3Hv805992@snark.thyrsus.com \
--to=esr@snark.thyrsus.com \
--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
all inboxes | Powered by JetHome®