/** \mainpage TIPi reference manual
 *
 * The TIPi library is an implementation of a communication system, built around
 * a communication protocol, that is used to remotely control software tools.
 * The protocol is tied to the DeskSQuADT application that uses it as the
 * primary means to control software tools.
 *
 * These pages contain the reference manual for this library.
 *
 * More information about this library can be found in the <a
 * href="http://www.mcrl2.org/mcrl2/wiki/index.php/TIPi_library">TIPi user manual</a>.
 */
