-
GGU-SETTLE: "Copyright" menu item -
GGU-SETTLE: "GGU on the web" menu item -
GGU-SETTLE: "GGU support" menu item -
GGU-SETTLE: "Maxima" menu item -
GGU-SETTLE: "Help" menu item -
GGU-SETTLE: "Test vibrodisplacement compaction" menu item -
GGU-SETTLE: "What's new?" menu item -
GGU-SETTLE: "Transform all" menu item -
GGU-SETTLE: "Language preferences" menu item