You can use any toolchain you wish. All you need to do is create an executable .bin file that can be dropped onto the board. The board connects to your PC as both a serial device and a mass storage controller so drag-and-drop works well.
It is even possible to grab the mbed libraries and use them with another toolchain.
I did one small project for the mbed using Rowley Crossworks for the toolchain.