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 - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Wed May 23 2001 - 21:00:42 EST