next up previous contents index
Next: A.7 What else can Up: A Frequently Asked Questions Previous: A.5 How do I

A.6 Where can I find the user manual of TCM?

 

All TCM distributions contain a user manual. In the file $TCM_HOME/doc/usersguide.ps from the TCM distributions you can find a PostScript copy of the user's guide of the concerning TCM version. An HTML version is in $TCM_HOME/doc/usersguide.html. The latter can be read with a HTML web browser. There is also an on-line help in the Help menu of the editors but that is very limited.

You can also retrieve the TCM manuals from the TCM ftp site ftp://ftp.cs.vu.nl/pub/tcm . The web page http://www.cs.vu.nl/~tcm/usersguide.html contains the latest version of the user's guide in HTML format. This user's guide is also separately available in PostScript format, compressed by gzip, in ftp://ftp.cs.vu.nl/pub/tcm/tcm-usersguide.ps.gz .


Frank Dehne,Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam
11/17/1997