[Checkers] Release today

Mahmood Ali mahmood at MIT.EDU
Mon Jun 9 18:52:22 EDT 2008

Hi Mike,

I have made a release today that addresses the top critical issues in  
the TODO list, namely: making 'ant all-tests' for binary release  
without configuration, including javadocs, and recognizing - 

While making the release, I realized that the java docs are not  
formatted well (needs <p> or <br /> here and there), with some broken  
fragment links to the manual.html.

I decided to work on addressing code review comments and rewrites.  I  
will come back to those before the following release.

- Mahmood

More information about the checkers mailing list