5 Mar 1987 10:06-EST
John has indeed left NBS and gone to some part of DEC - don't know
which, but since John is on this distribution, maybe he will say,
if he still reads his Internet mail.
This archive was generated by hypermail 2.0b3 on Thu Mar 09 2000 - 14:37:44 GMT