anchor.diff:  /// Default options for 'DeployRelease'
   let deployOptions = {
       Project = ""; DeployTo = ""; Version = ""; Force = false; WaitForDeployment = false; 
  -    DeploymentTimeout = None; DeploymentCheckSleepCycle = None; SpecificMachines = None }
  +    DeploymentTimeout = None; DeploymentCheckSleepCycle = None; SpecificMachines = None;
  +    NoRawLog = false; Progress = false }
   
   /// Default options for 'DeleteReleases'
   let deleteOptions = { 
  
positive.code:       (optionalStringParam "version" (liftString opts.Version))
        (flag "force" opts.Force)
        (flag "waitfordeployment" opts.WaitForDeployment)
        (optionalObjParam "deploymenttimeout" opts.DeploymentTimeout)
        (optionalObjParam "deploymentchecksleepcycle" opts.DeploymentCheckSleepCycle)
        (optionalStringParam "specificmachines" opts.SpecificMachines) ] 
  
negative.code: 
      /// Whether to wait synchronously for deployment to finish
      WaitForDeployment           : bool
  
      /// Don't print the raw log of failed tasks
      NoRawLog                    : bool
  
      /// Show progress of the deployment.
      /// (Sets --waitfordeployment and --norawlog to true.)
      Progress                    : bool
  
      /// Specifies maximum time that deployment can take
      /// (default: 10 minutes)
  