2.9.1 Debugger menu commands
The current release of FDR supports only a few simple commands on
the debugger view menu bar:
- File
- This contains a Close command, which causes the debugger window to
be closed.
(The save option is intended for testing purposes only.)
- Help
- Gives access to the on-line help facility described (see section 2.2 On-line Help).
Formal Systems (Europe) Ltd
FDR2 Manual