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