GGU-TIMESET -e

GGU-TIMESET: Description of menu items

• GGU-TIMESET: File menu
• GGU-TIMESET: Edit menu
• GGU-TIMESET: Graphics preferences menu
• GGU-TIMESET: Output preferences menu

GGU-TIMESET: Info menu

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

GGU-TIMESET: Tips and tricks

• GGU-TIMESET: Keyboard and mouse
• GGU-TIMESET: Function keys
• GGU-TIMESET: "Copy/print area" icon