-
GGU-TIME-GRAPH: "Copyright" menu item -
GGU-TIME-GRAPH: "Maxima" menu item -
GGU-TIME-GRAPH: "Help" menu item -
GGU-TIME-GRAPH: "GGU on the web" menu item -
GGU-TIME-GRAPH: "GGU support" menu item -
GGU-TIME-GRAPH: "Meteorology + pedology" menu item -
GGU-TIME-GRAPH: "What's new?" menu item -
GGU-TIME-GRAPH: "Language preferences" menu item