addMenusCmd	miniGUIhelpers
evalPlugin	miniGUIhelpers
is.miniGUIwidget	miniGUIinputWidget
makeWidgetCmd	makeWidgetCmd
mapFuncToWidget	mapFuncToWidget
miniGUI	miniGUI
miniGUIans	miniGUIhelpers
miniGUIcallEval	miniGUIhelpers
miniGUIData	miniGUIhelpers
miniGUIdefaultEntry	miniGUIinputWidget
miniGUIentry	miniGUIinputWidget
miniGUIeval	miniGUIhelpers
miniGUIffff	miniGUIhelpers
miniGUIgetFormals	miniGUIhelpers
miniGUIhelpers	miniGUIhelpers
miniGUIinputWidget	miniGUIinputWidget
miniGUImenusel	miniGUIinputWidget
miniGUIoutput	miniGUIhelpers
miniGUIscale	miniGUIinputWidget
