You can have this back if you want by clicking the "Unsuppress" item in
one of the pulldowns.
But since the theorem prover automatically turns on such prerequisites for
you, you're very unlikely to need it.
-- <a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a>The kind of charity you can force out of people nourishes about as much as the kind of love you can buy --- and spreads even nastier diseases. - 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/