[Drjava-users] drjava-beta-20041124 released

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

This beta release of DrJava includes some bug-fixes
and some improvements. This beta release is better
than the last beta, but is not yet a viable candidate
for a stable release. We have fixed some issues
related to synchronization, the project facility, as
well as improved Language Levels support and fixed
some small bugs in it.

Please download and test this release as your
primary 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