Hi,
With the new 1.6.2 IDE, the board manager is unable to connect to the board repository behind an http proxy.
My OS : OS X 10.9.5 Mavericks
It would be fine to use the OS proxy settings on OS X 
Best regards
Hi,
With the new 1.6.2 IDE, the board manager is unable to connect to the board repository behind an http proxy.
My OS : OS X 10.9.5 Mavericks
It would be fine to use the OS proxy settings on OS X
Best regards