GGU-GABION: Info menu GGU-GABION: "Copyright" menu item GGU-GABION: "Maxima" menu item GGU-GABION: "Compare ep coefficients" menu item GGU-GABION: "Help" menu item GGU-GABION: "GGU on the web" menu item GGU-GABION: "GGU support" menu item GGU-GABION: "What's new?" menu item GGU-GABION: "Language preferences" menu item
