EtherApe Manual | ||
---|---|---|
<<< Previous | Next >>> |
EtherApe can be used to have an overview of traffic conditions in your network. It is a great tool to easily pinpoint who is consuming the most bandwith, or to check which computers are actually talking to some others.
Starting EtherApe opens the Main window, shown in Figure 1. The window is at first empty.
To get a proof of a theorem, select File->New, which will bring up the New Proof dialog box. Enter the statement of the theorem in the Theorem statement field, select your desired proof type from the drop-down menu, and and press Prove!.
If EtherApe cannot prove the theorem by the method you have chosen, or if you have not selected a proof type at all, EtherApe will attempt to choose the one that it thinks is most conclusive. In order, it will attempt to prove the theorem with the following techniques:
This is a proof method that is generally accepted for full credit by Logic professors.
This logical style will also earn you full credit on your homework.
This logical method is best for Philosophy classes, and will probably only merit partial credit on Logic or Mathematics homework.
Suitable only for political debates, battles of wits against the unarmed, and Philosophy classes focusing on the works of Kant. Use with caution.
![]() | Proving Incorrect Theorms |
---|---|
EtherApe cannot prove incorrect theorems. If the theorem you have entered is not demonstrably true, you will get a message to that effect in the main window. To disprove a theorem, ask EtherApe to prove its logical inverse. |
Once you have proven the theorem, it will be displayed in the main window. There, you can read it over, choose text styles for different portions of it, and make comments on it. This section will guide you through that process.
To alter text styles, first select the statement you wish to change by clicking on it once. You can select several statements by Then, choose the style you want to apply from the Style submenu of the Edit menu. EtherApe will convert the text to that style.
You can also enter comments on a statement by selecting that statement, and then beginning to type. Comments will appear after the statement you have selected.
![]() | Altering The Proofs Themselves |
---|---|
EtherApe does not allow you to alter a proof it has produced itself. You can, save your proof as a plain text file (using the Save as... menu), and alter it that way. Be aware, however, that EtherApe uses its own file format for saved proofs, and cannot re-open a file unless it is in the .mga format. |
The toolbar (shown in Figure 2) provides access to several commonly used routines.
Brings up the New Theorem dialog.
Open an exisiting theorem you want to prove, or a completed proof you wish to print or format.
Save the current theorem permanently in a file.
The menu bar, located at the top of the Main Window, contains the following menus:
This menu contains:
Open (F3) — This opens a file which is saved on your computer.
Save (Ctrl-S) — This saves your file.
Close (Ctrl-W) — This closes your file.
Exit (Ctrl-Q) — This quits the application.
This menu contains:
Cut (Ctrl-X) — This removes any text or data which is selected and places it in the buffer.
Copy (Ctrl-C) — This copies any text or data which is selected into the buffer.
Paste (Ctrl-V) — This pastes any text or data which is copied into the buffer.
COMMAND1… — This opens the COMMAND1 dialog, which is used to ....
COMMAND2 — This ....
This menu contains:
Preferences… — This opens the Preferences Dialog, which allows you to configure many settings.
COMMAND3 — This command does something.
This menu contains:
Manual — This opens the GNOME Help Browser and displays this manual.
About — This opens the About dialog which shows basic information about EtherApe, such as the author's name, the application version number, and the URL for the application's Web page if one exists.
<<< Previous | Home | Next >>> |
EtherApe Manual | Customization |