migui                   Graphical User Interface of the mi Package
