Programming Pro Mini with Leonardo?

I have tried it out on linux 3.0.0 and windows 7 -SP2 64bit.