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