Installing timtools

Quick instructions

• Disable your current timtools (and make sure to have a backup copy) by renaming the timtools subdirectory in your TIM directory to timtools.old (or something else).

• Download the timtools.zip file from http://timtools.lino-framework.org/dl/timtools.zip

• Unzip its contents into your TIM directory. It should create a new timtools subdirectory.

Explanations

timtools.zip

This is the file that contains the latest released version.

The name of the download file is always timtools.zip regardless of the version.

The currently published file contains version 2.0.2.