-
GGU-PUMPTEST: "Copyright" menu item -
GGU-PUMPTEST: "Maxima" menu item -
GGU-PUMPTEST: "Help" menu item -
GGU-PUMPTEST: "GGU on the web" menu item -
GGU-PUMPTEST: "GGU support" menu item -
GGU-PUMPTEST: "What's new?" menu item -
GGU-PUMPTEST: "Simple analyses" menu item -
GGU-PUMPTEST: "Language preferences" menu item