[Checkers] RoMaybe -> PolyRead

[Mahmood Ali]

I thought that I already made the change in r2208.  I just realized  
that I didn't update the manual.  I am doing it now.

Regards,
Mahmood

On Apr 20, 2008, at 6:36 PM, Michael Ernst wrote:

> 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?
>
>                     Thanks,
>
>                    -Mike
>
> _______________________________________________
> checkers mailing list
> checkers at lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/checkers