JW16: operator names

I believe that one reason we made the names short because that
increases the efficiency. I also believe that we thought that the
operator names were in a part of the protocol that was not supposed 
to be internationalized.

Alan Babich

Received on Thursday, 24 June 1999 19:27:16 UTC