Huh, I guess that's changed. I remember looking at mbed at one point, and at that time it had no offline option (which basically made it a non-option for me).

Huh, I guess that's changed. I remember looking at mbed at one point, and at that time it had no offline option (which basically made it a non-option for me). I'll have to re-evaluate it the next time I need a little mcu board!