[Checkers] new name for the Custom checker

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

Previous message: [Checkers] Paper status
Next message: [Checkers] Checker features
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

- Matt

Previous message: [Checkers] Paper status
Next message: [Checkers] Checker features
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the checkers mailing list