This lists is used to discuss topics regarding the development of the Eclipse Arduino IDE hosted at https://github.com/jantje/arduino-eclipse-plugin