I know they are different tools, that’s why I explained what did work, and what did not work.
As I told, I got blinky working with mbed after doing some modifications, but not with Arduino IDE.
-> I would like to get Arduino working as well.
That MBed IDE user guide doesn’t work directly.
You need to change the line:
to get it working, please check the examples and make them correctly working with clean installs.
-> This means, you take a clean windows, or clean ubuntu 16.04 x64 (or mbed web compiler), and make the installation and get the example working from the beginning. so you don’t have some extra libraries (or path values, or header defines) that may effect on compiling.