Date:	Wed, 31 May 2000 17:04:36 -0400
From:	"Eric S. Raymond" <esr@snark.thyrsus.com>
To:	linux-kernel@vger.rutgers.edu
Subject: CML2 0.2.0

CML2 0.2.0 is now available at http://www.tuxedo.org/~esr/kbuild/

Release 0.2.0: Wed May 31 16:53:34 EDT 2000
	* Full atemporal deduction with a baby theorem prover!
	* Whenever/sets are gone from the language.  Those deductions
	  are now done directly from requires.
	* Setting a symbol may now set symbols in its visibility guard,
	  if we can deduce that relationals in the guard must be true.

Alan Cox should now have his "set a driver and watch all the
requirements turn on" feature.

The documentation has been updated to full describe the new features
(and the absence of old ones; whenever/sets are now gone from the
language, having been replaced by requires.)
-- 
		<a href="http://www.tuxedo.org/~esr">Eric S. Raymond</a>

It is the assumption of this book that a work of art is a gift, not a
commodity.  Or, to state the modern case with more precision, that works of
art exist simultaneously in two "economies," a market economy and a gift
economy.  Only one of these is essential, however: a work of art can survive
without the market, but where there is no gift there is no art.
	-- Lewis Hyde, The Gift: Imagination and the Erotic Life of Property

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/