1.4.6. Updating the information in the repository

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:

  1. Click on the imported repository. It will be highlighted in blue color.

  2. Right-click on that repository. A pull-down menu appears.

  3. Click on Update. The information in the repository is updated.