Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-09-07 15:02:13 -0700 (Mon, 07 Sep 1998) Revision: 2457 Log message:
Replaced "The Ensemble Juke Box" with "Nuprl-Light".