[e-lang] Joe-E 1.0 out

[Mark Miller]

On 7/10/07, Adrian Mettler <amettler at cs.berkeley.edu> wrote:
> The Joe-E verifier version 1.0.0 is now available from
> http://www.joe-e.org

Congratulations! This is wonderful news, and very timely.


-- 
Text by me above is hereby placed in the public domain

    Cheers,
    --MarkM