The file setl-1.0-bin.tar.gz is a gzipped tar file which can be unpacked
like this:

  cd /usr/local/bin  # or perhaps $HOME/bin for checkout
  gzip -cd < setl-1.0-bin.tar.gz | tar xvf -

The other files in this directory are short ASCII files indicating the
environment that was used to compile the SETL system:

  gcc-info  -  the output of "gcc -dumpversion; gcc -dumpmachine"
  uname-a   -  the output of "uname -a"
  tar-tv    -  a listing of the files in setl-1.0-bin.tar.gz

Please contact bacon@cs.nyu.edu (David Bacon) with questions or remarks.

     dB