-
GGU-DRAWDOWN: "Copyright" menu item -
GGU-DRAWDOWN: "Maxima" menu item -
GGU-DRAWDOWN: "Pumping test evaluation" menu item -
GGU-DRAWDOWN: "Help" menu item -
GGU-DRAWDOWN: "GGU on the web" menu item -
GGU-DRAWDOWN: "GGU support" menu item -
GGU-DRAWDOWN: "What's new?" menu item -
GGU-DRAWDOWN: "Language preferences" menu item