Hola a todos,
Tengo que daros una mala noticia:
Los chicos de Arduino, en la variante del IDE Arduino1 han eliminado la opción de "Leonardo", por lo que no tenemos IDE para programar el vinciDuino!! (Tal vez se pueda eliminando los comentarios en el código fuente: https://github.com/arduino/Arduino/tree/master/hardware/arduino)
Yo tengo descargada una versión anterior (Arduino1.0-rc2) en la que si existía, pero sólamente la versión de Linux32, y es la que he utilizado para programar el PaperduinoLeonardo.
Como este foro no permite adjuntos mayores de 1280KB, no puedo colgarlo aquí, así que lo pongo en la página de descargas de txapuzas_electronicas. (Microsoft OneDrive - Access files anywhere. Create docs with free Office Online.)
NOTA:Si alguien tiene otras versiones de Arduino1.0-rc2 (win, linux64 o mac), que me lo diga para colgarlo también.
gracias