TakTuk user guide:
The documentation about all the TakTuk capabilities is in its manpage which is made of two parts:
You can also have a look at this sample session.
POLARIS INRIA Project team