IDE support?

Mike Shaver mike.shaver at
Sat Sep 17 12:23:34 PDT 2011

On Fri, Sep 16, 2011 at 1:55 AM, Andreas Rossberg <rossberg at> wrote:
> Being able to detect when a condition is violated is not equivalent to
> knowing that it always holds.

You're right, of course. Thanks for slicing that more finely for me.


More information about the es-discuss mailing list