TTT is no longer maintained; its successor TTT2 is much more powerful and open source.

T y r o l e a n   T e r m i n a t i o n   T o o l

FULLY AUTOMATIC MODE          SEMI AUTOMATIC MODE         

TRS
    
comment   (optional)

bibtex   (optional)
upload upload

                          timeout                 innermost termination          verbose
show dependency graph