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

2.3.2 The Reload command

This command causes FDR to re-read the file which is currently loaded, incorporating any changes which may have been made since the file was last read. If no file is loaded, this command is not available.



Formal Systems (Europe) Ltd FDR2 Manual