The TECO manuals