Managing workspaces

This section describes how to add and remove targets, and to specify properties in a workspace.