[lkml]   [2001]   [May]   [21]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [kbuild-devel] Re: CML2 design philosophy heads-up
    Brent D. Norris <>:
    > 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="">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
    -- Thomas Jefferson, in his 1801 inaugural address
    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to
    More majordomo info at
    Please read the FAQ at

     \ /
      Last update: 2005-03-22 12:53    [W:0.020 / U:6.936 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site