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