[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2.3.5 The Exit command

When this command is selected, FDR displays a dialogue box asking the user to confirm that they wish to kill the current FDR session. If the response is Quit then FDR terminates.



Formal Systems (Europe) Ltd FDR2 Manual