1.3 How to Obtain the Latest Version of TCM

There is an ftp site ftp://ftp.cs.vu.nl/pub/tcm from which you can download distributions with executables for different Unix platforms. Currently, TCM runs on Solaris 2.x (Sparc and x86), SunOS 4.x.x (Sparc), Linux (x86), IRIX 5.x (SGI), AIX 4.x (RS6000) and HP-UX 10.x. Each distribution contains executables of the TCM software and recent documentation. See the file README.TCM on the ftp site for more details.

TCM has its own home page: http://www.cs.vu.nl/~tcm . This page contains supplementary information about TCM. It is possible to download the TCM software via the page
http://www.cs.vu.nl/~tcm/software.html . You can find a HTML version of the most recent version of the user manual in http://www.cs.vu.nl/~tcm/usersguide.html . The user manual is also contained as PostScript file and as a set of HTML files in the doc subdirectory of the software distribution. If you plan to upgrade TCM, see the file CHANGELOG on the ftp site for the most important changes between the consecutive versions.