anchor.diff:                            Globals.spawn(location, [|cmd|], options)
                       else
                             Globals.spawn("mono",  [|location; cmd |], options)
  +
  +        procs.on("exit",unbox<Function>(handleExit)) |> ignore
           procs.stdout.on("data", unbox<Function>(handle false )) |> ignore
           procs.stderr.on("data", unbox<Function>(handle true )) |> ignore
  +
  +        
           ()
   
   
  
positive.code:             notice("", output)
          ()
  
  
  
      let exec location cmd =
  
negative.code:     let location = Globals.atom.packages.packageDirPaths.[0] + "/paket/bin/paket.exe"
      let bootstrapperLocation = Globals.atom.packages.packageDirPaths.[0] + "/paket/bin/paket.bootstrapper.exe"
  
      let jq(selector : string) = Globals.Dollar.Invoke selector
  
      let notice (kind : string, text : string) =
          let div = jq("#paketnotice")
          if div.length = 0. then
              let overlay = Globals.document.createElement("div")
              overlay.setAttribute("class","overlay paket from-top")
              overlay.setAttribute("id","paketnotice")
              overlay.setAttribute("style","text-align: left")
              overlay.innerText <- text
  
              Globals.atom.workspaceView.appendToBottom(overlay) |> ignore
          else
              div.append("<br/>" + text) |> ignore
  
  
      let handle error input =
          let output = input.ToString()
  