Manuals
User manuals are available for all the software developed at the Max
Planck Institute. They come in two formats: there is an online version,
and a PDF version. They contain a relatively detailed description of
the program and of how to use it. For further information go to http://tla.mpi.nl/tools/tla-tools.