servo.h per arduino 32 bit???????

hello all, you know when it comes out the full version of Arduino IDE 1.5?? and if there is or if there is already a library servo.h for Arduino 2?? thanks!!