To install CLIN-S copy the compressed tar file prover.tar.Z .
Uncompress and tar it.  A directory CLIN-S is created that contains
the relevant files including a README.  To compile CLIN-S, set the
quintus directory path in the script 'compile', and then run that:

	% uncompress prover.tar.Z
	% tar xvf prover.tar
	x ./CLIN-S/
	... about 30 lines of tar output deleted
	x ./CLIN-S/README, 1035 bytes, 3 blocks
	% 
	% cd CLIN-S
	% vi compile
	... vi session deleted
	% ./compile
	Quintus Prolog Release 3.1 (DECstation, Ultrix 4.x)
	Copyright (C) 1990, Quintus Corporation.  All rights reserved.
	2100 Geng Road, Palo Alto, California U.S.A. (415) 813-3800
	compiling file /usr/yakowenk/clins/CLIN-S/clins
	... quite a lot of compilation messages deleted
	qld: File being converted: /usr/qplib3.1/embed/english/QU_messages.qof
	% 
	


For documentation, copy the compressed tar file manual.tar.Z .
Uncompress and tar it.  A directory CLIN-S/doc is created that
contains PostScript and DVI versions of the user's manual:

	% uncompress manual.tar.Z
	% tar xvf manual.tar
	x ./CLIN-S/doc/
	x ./CLIN-S/doc/manual.ps, 300937 bytes, 588 blocks
	x ./CLIN-S/doc/manual.dvi, 122416 bytes, 240 blocks
	%