A so called tagged release can be built by using the command line option tagging during release/patch generation. In this case the version numbers in the Project-Definition (see Project-Definition) are automatically updated accordingly to the selected release mode. All released files are then tagged in the repository using CVS with the symbolic tag given by the command line option tagging. This allows easy reconstruction of the state of the release or patch later on from the repository.