K 10
svn:author
V 3
jjm
K 8
svn:date
V 27
2000-02-28T20:52:24.000000Z
K 7
svn:log
V 163
Inhibit a couple more popups if watching an AI player.  (Most of the rest
already are inhibited).
One suggested by Anthony J. Stuckey <stuckey@jaka.ece.uiuc.edu>.

END