From: Greg Colvin (gcolvin_at_[hidden])
Date: 2001-11-01 10:12:30
From: <tom.widmer_at_[hidden]>
> > Wouldn't Bill be happy to give away a copy for this?
>
> Who's Bill? How about P.J.Plauger or Pete Becker?
Bill Plauger and P.J.Plauger are the same person. It's a
long story that I've only heard third-hand, so don't ask.