Arduino Micro: no entry in boards menu

Other Hardware 3rd Party Boards
1

Hi,
I got an Arduino Micro here and want to program it. However, I do not find an entry for that board in the boards menu.
Are there additional libraries necessary ? If yes, where can I get it from ?
I use Arduino 1.0.1.
Thank you
Regards, AgeBee

2

AgeBee:
I use Arduino 1.0.1.

Update to anything newer (e.g. 1.0.5), which includes support for the Leonardo/Micro