This option allows you to update an imported repository (i.e., the copy of the file, see Section 1.4.5) after the original file has been modified.
Do the following:
Click on the imported repository. It will be highlighted in blue color.
Right-click on that repository. A pull-down menu appears.
Click on
. The information in the repository is updated.