Hello All,
Posted here:
Source posted too: https://github.com/arduino/arduino-pro-ide/archive/0.1.2.zip ?
Regards, John W.