From: Garrett Mitchener <wgm2@duke.edu> To : Date: 31 Mar 1999 21:45:49 -0500
As far as I can tell, as soon as one player hits 100 or above, the game ends. If not, we'd have to decide what happens if another player goes over 100 immediately afterward, and that has never come up. -- Garrett :-)