> 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.
I am not familiar in how this works, but it would be cool if those
requirements were marked as "weak" and un-marked if the option relying
on them is.
i.e.
I have driver "foo" requiring "bar". If I mark foo, I want bar to be marked.
But if then I change my mind and unmark foo, I wish for bar to be unmarked
(unless explicitly re-marked). But if I select first bar and then foo, then
bar is not to be de-selected when foo is.
But then, maybe this already happens...
/kinkie
-
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/
This archive was generated by hypermail 2b29 : Wed Jun 07 2000 - 21:00:15 EST