@LETARTARE: it is compiled with wxWidgets 2.9.3. There might be problems when it is compiled with a different Version.
@eried: i made a quick webpage for uploading of libraries some time ago here:
http://www.code-i.de/ardulibrary/But it was never really used.
And i would really like to redo the webpage completely when it would be used, as i learned much new since then.
Pauls repository is only managed by himself i believe.
looks like a nice library manager @eried. Where can i get it?
//Edit: oh sorry. just seen that it is a modified arduino editor. looks nice.
If you want i could make the webmanagement side to add a user-repository to the mod.
that would be nice.

That repository thing will be very nice, you can even add a link into your application. My library manager is monitoring the library folder while is opened so there is no really necessity to integrate anything, only I will like to call it with the preferences file as an argument, since I am not using the same from the original IDE.
Pauls repository is only managed by himself i believe.
Yes, I built that list the very hard way... by reviewing the code for each library, and for most of them I actually build the hardware and throughly test the library on Teensy 2.0 and Teensy++ 2.0 boards.
Lately I haven't been keeping up, while developing Teensy 3.0. But I've got a bookmarks folder of a couple dozen libraries I intend to test soon. I've already purchased components to test them all. The only thing missing is incredible amounts of time.....
Besides time you need to get also a seller for latin America

I checked your teensy 3.0 and it is a very sexy/cheap board but more than half of the price goes to the shipment

probably another 25% for eventual customs charges.