[Checkers] RoMaybe -> PolyRead

Michael Ernst mernst at csail.mit.edu
Sun Apr 20 18:36:24 EDT 2008

I notice that the change from RoMaybe to PolyRead has not yet happened in
the checkers.  What is the schedule for that, and who is going to do it?



More information about the checkers mailing list