Screenshots
Warning :
TiSM is not a GUI based software.
The GTK frontend can help the user to access quickly to common functionnalities,
but TiSM will be fully exploited only with Tcl scripts.
Last updated : 29/09/04
