Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 1998-05-28 15:59:33 -0700 (Thu, 28 May 1998) Revision: 2194 Log message:
Command to run Nuprl-Light.