tutch 0.52beta
Copyright (C) Andreas Abel and Frank Pfenning, 2001

Installation Instructions for Linux
===================================

1. Unpack files

Change to the directory where tutch should be installed to and
unpack.  This will create the directory "tutch-0.52/"

	cd <yourChoice>
	tar xzf <pathToArchive>/tutch-0.52.tar.gz


2. Compile tutch

tutch requires Standard ML of New Jersey, version 110.0.6, with
compilation manager (CM).  You might have to edit the tutch Makefile
and specify the correct path to the sml compiler.

	cd tutch-0.52
	which sml-cm

If you do not get a positive answer, put the correct location of sml
into the Makefile. Then continue:

	make


3. Getting started

I recommend creating a link to the current tutch version.

	cd ..
	ln -s tutch-0.52 tutch

Now you either add "tutch/bin" to your path or copy the script "tutch"
into a directory where the system can find it.  For example:

	cp -p tutch/bin/tutch ~/bin/

If SML is not on your search path, then edit the script "tutch".

Now run tutch!

	tutch -v tutch/doc/examples/prop3

Have fun!