|
Hilbert II - Version 0.03.09 | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
See:
Description
| Class Summary | |
| AboutAction | Shows the "about" dialog. |
| AddAction | Load QEDEQ module file. |
| AddAllModulesFromQedeqAction | Add all modules from the QEDEQ web page. |
| AddFileAction | Load new module from local file. |
| CheckLogicAction | Check logical correctness of modules. |
| ExitAction | Exit from application. |
| HelpAction | Show help window. |
| MakeLatexAction | Create LaTeX file out of selected QEDEQ module files. |
| ParserAction | Show preferences window. |
| PreferencesAction | Show preferences window. |
| QedeqController | Controller for a the GUI application. |
| RemoveAllAction | Remove all QEDEQ module files from memory. |
| RemoveLocalBufferAction | Remove all QEDEQ module files from memory and local buffer. |
| RemoveModuleAction | Create LaTeX file out of selected QEDEQ module files. |
All controller related stuff. A controller processes and responds to events, typically user actions, and may invoke changes on the model.
|
Hilbert II - Version 0.03.09 | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |