To accompany the new Arduino Micro, we’ve released a new version of the Arduino software, Arduino 1.0.2. This release also includes the WiFi library (for the WiFi Shield) and the examples for the Arduino Starter Kit. In addition, it contains many bug fixes and improvements, detailed in the release notes. In particular, it addresses many small incompatibilities between the Arduino Leonardo and other boards, which should ensure that the Micro also performs well (since it shares the same Atmel ATmega32U4 processor as the Leonardo).
You can download the software from the Arduino website.