addMenusCmd	miniGUIhelpers
doNothingPlugin	miniGUIhelpers
evalPlugin	miniGUIhelpers
getMiniGUIans	miniGUIhelpers
getMiniGUIData	miniGUIhelpers
is.miniGUIwidget	miniGUIinputWidget
makeWidgetCmd	makeWidgetCmd
mapFuncToWidget	mapFuncToWidget
miniGUI	miniGUI
miniGUIans	miniGUIhelpers
miniGUIcallEval	miniGUIhelpers
miniGUIData	miniGUIhelpers
miniGUIdefaultEntry	miniGUIinputWidget
miniGUIentry	miniGUIinputWidget
miniGUIEnvir	miniGUIhelpers
miniGUIeval	miniGUIhelpers
miniGUIffff	miniGUIhelpers
miniGUIgetFormals	miniGUIhelpers
miniGUIhelpers	miniGUIhelpers
miniGUIinputWidget	miniGUIinputWidget
miniGUImenusel	miniGUIinputWidget
miniGUIoutput	miniGUIhelpers
miniGUIscale	miniGUIinputWidget
setMiniGUIans	miniGUIhelpers
setMiniGUIData	miniGUIhelpers
