My Interface is a simple Tcl/Tk GUI.

My Interface GUI is a public domain software. You can include it in original or
modified form in any project without any restrictions and obligations.

Please, send questions about My interface GUI and notices about its usage to
Robert Meolic (meolic@uni-mb.si).

Here is the list of known projects using My interface GUI:

1. EST (Efficient Symbolic Tools), a tool for formal verification of systems.
   http://lms.uni-mb.si/EST/
