2000 ME-THE-AUTHOR Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies. Permission is granted to copy and distribute modified versions of this manual under the conditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one. Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions, except that this permission notice may be stated in a translation approved by the Free Software Foundation. UNIX is a trademark of X/Open Group Linux is a trademark of Linus Torvalds X Window System is a trademark of X Consortium, Inc. Red Hat and RPM are trademarks of Red Hat, Inc. Windows is a trademark of Microsoft Corp. Macintosh and Apple are trademarks of Apple Computer, Inc. All other trademarks are property of their respective owners This is version 1.0 of MY-GNOME-APP manual. MY-GNOME-APP is a program for proving mathematical theorems. It is included in the package GNOME-PACKAGE, which is a part of the GNOME desktop environment. This document describes version &version; of MY-GNOME-APP MY-GNOME-APP can be started by selecting MY-GNOME-APP from SUBMENU submenu of the Main Menu, or by running the command MYGNOMEAPP on the command line. As was said before, MY-GNOME-APP can be used to produce a perfect proof of any mathematical theorem (provided, of course, that this theorem is correct), thus providing for new users an easy-to-use graphical interface to modern mathematics. This section describes basic usage of MY-GNOME-APP. When you first start MY-GNOME-APP, you see the Main window, as shown in .

MY-GNOME-APP Main Window

To get a proof of a theorem, just enter the statement of the theorem in the Theorem statement field and press Prove!. MY-GNOME-APP can not prove incorrect theorems. The menu bar, located at the top of the Main Window, provides the following commands: File This menu contains commands Ctrl-S Save and Ctrl-Q Quit both of which are self-explanatory. Settings... This menu contains only one command, Preferences, which launches Preferences Dialog Edit This menu contains the following commands: COMMAND1 —this command does .... COMMAND2 —this command does .... Help This menu contains commands Manual — shows this manual About — shows basic information about MY-GNOME-APP, such as author's name and version number. To change default settings, select Preferences command in Settings menu. This launches the Preferences dialog, shown in .

Preferences dialog

Millions MY-GNOME-APP was written by GNOME-HACKER (hacker@gnome.org). To find more information about it, please visit MY-GNOME-APP Web page. Please send all comments, suggestions, and bug reports to the GNOME bug tracking database. Instructions for submitting bug reports can be found on-line at http://bugs.gnome.org/Reporting.html. If you are using GNOME 1.1 or later, you can also use command bug-buddy for submitting bug reports. This manual was written by ME (MYNAME@MYADDRESS). Please send all comments and suggestions regarding the manual to the GNOME Documentation Project at docs@gnome.org. You can also add your comments online by using GNOME Documentation Status Table.