[Drjava-users] drjava-beta-20041215 released

[Moez A. Abdel-G. <mo...@cs...>]

This beta release fixed DrJava support for running
and compiling on JSR14. The release also addresses
many recent concurrency issues.

Please download and test this release as your pri-
mary copy of DrJava.

-Moez

============================================================

Q: Why bother doing proofs about programming languages?
They are almost always boring if the definitions are right.

A: The definitions are almost always wrong.

-Anonymous