[Checkers] new name for the Custom checker

Matt Papi mpapi at csail.mit.edu
Mon May 5 10:24:57 EDT 2008


FYI, I'm holding off on making this change in the code until the case
study is done (at least).

- Matt



More information about the checkers mailing list