- 16. When constructing a far f that contains at least one platform, then f may optionally be constructed such that for each platform q in f, every package p on which q depends should be included in f, unless p->RePackage==false. The far will have all the packages required, and may then be installed as a self-inflating executable that will create a brand new workspace on the developer's workstation.\r
- </xs:documentation>\r
- <xs:documentation>\r
- 17. A far f is identical to a far g, iff f->Guid == g->Guid.\r
- </xs:documentation>\r
- <xs:documentation>\r
- 18. A far f may be installed into the workspace w, iff there is no far g in w such that f->Guid==g->Guid.\r
+ 17. A far f may be installed into the workspace w, iff there is no far g in w such that f->Guid==g->Guid. In that case, it is called "updating" the far in the workspace. The user may select some subset of packages or platforms to reinstall or update, to ensure that the files in the workspace are correct.\r