IDE O.1.2 Posted

Hello All,

Posted here:

Source posted too:
https://github.com/arduino/arduino-pro-ide/archive/0.1.2.zip ?

Regards,
John W.