[e-lang] Version 1.0 of Joe-E library released

[Tyler Close]

On 6/1/07, Adrian Mettler <amettler at cs.berkeley.edu> wrote:
> I expect to release a minor update of the verifier soon as well, which
> includes some bug fixes, etc. before going ahead and implementing a
> proper taming infrastructure.

What have you decided to do about Error handling and finally clauses?

Tyler

-- 
The web-calculus is the union of REST and capability-based security:
http://www.waterken.com/dev/Web/

Name your trusted sites to distinguish them from phishing sites.
https://addons.mozilla.org/firefox/957/