edit SideBar
Steps
1. Go to http://developer.mbed.org/users/mbed_official/code/mbed/
2. Click on "zip" under "Download Repository"
3. Extract the .zip file into $PTII/vendors/mbed/libraries/