The timtools package timtools is a collection of command-line tools for TIM. The central project homepage is http://timtools.lino-framework.org