                   The CASL tool set
                   CATS v0.88, 04 July 2003

Installation: Unpack the .tar.gz file in a directory.
              The distribution contains the following files:

              cats               - the batch file for starting the tool
              .run-linux         - the Standard ML loader (Linux)
              .run-solaris       - the Standard ML loader (Solaris)
              cats.x86-linux     - the Standard ML heap image (Linux)
              cats.sparc-solaris - the Standard ML heap image (Solaris)
              cats.1             - manpage for cats
              cats.txt           - ASCII version of manpage for cats
              basic/             - folder with basic datatypes
              contrib/           - folder with binaries from aterm library

              Depending on the distribution in use, you will have either
              the Linux or the Solaris version of the Standard ML loader
              and heap image.

              If you have both distributions, you can put them into
              the same directory. The cats script will then decide
              which version to run.

Requirements:
      baf2trm and trm2baf from the aterm library need to be in the
      $PATH, or else cats will not run unless you specify the nobin
      option on the -input and -output command line switches or in
      $HOME/.cats.

Bugs: A list of known problems can be found under

      http://www.informatik.uni-bremen.de/cofi/CASL/CATS/problems.html

      We are grateful for reporting any errors not covered by this list to

                    cofi@informatik.uni-bremen.de

      The latest version of this tool can be obtained under

      http://www.informatik.uni-bremen.de/cofi/CASL/CATS/download.html


NOTE: a short overview of the options for cats is available in man
      page format. On Linux, use
        man ./cats.1
      For Solaris, do the following (assuming bash shell):
        mkdir ~/man
        mkdir ~/man/man1
        cp cats.1 ~/man/man1
        export MANPATH=$MANPATH:$HOME/man
      You can then read the manpage with
        man cats
      If you don't want to change MANPATH or create directories, do:
        nroff -man cats.1 | less


      You can also view the manpage in plain text format, a cats.txt file comes
      with the distribution archive.
