[Checkers] Source for Checkers Eclipse plugin

Michael Ernst mernst at csail.mit.edu
Tue Sep 30 09:30:39 EDT 2008


Adam-

A user of the Checkers Eclipse plugin says,

> I just had a quick glance at the current Eclipse plugin.
> I wondered if there is any repository with the source files of your 
> current implementation. A quick search didn't reveal what I was 
> searching for.

I sent him a tar file of the checkersPlugin directory, but can you make the
source code available on the Eclipse plugin webpage, or in the plugin
itself, or however the source code for such things is usually distributed?

                     Thanks,

                    -Mike



More information about the checkers mailing list