Problem with libraries and Teensyduino 1.27

[nlecaude]

Hello,

I just installed Arduino 1.6.7 and Teensyduino 1.27 on 10.11. I selected to install all libraries but for some reason I see almost none of them. Any reason for this ?

 

[nlecaude]

Oops nevermind, had forgotten to choose the right board... not enough coffee this morning.