Nova interface gráfica Tcl/Tk para Spin
