DR> You can't modify a tag (unless the tag is unreleased and you can unrecord
DR> as someone suggested), but you can create several tags with the same name,
DR> if you like.
That's what I didn't know. Assuming a sequential list of tags having
the same name, will pull -t always grab the one that depends on all
the others?
Juliusz