Are there any changes to DrJava that anyone expects to be committing in
the next 12 hours? If so, e-mail me first. (Tell me ASAP if you are
planning anything.)
Tomorrow morning I'm going to make floppies to distribute at the
conference with the current version, drjava-20020227-0311, unless
something newer and better comes along.
-brian
|
