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