Once you've done this, open a terminal and type <code>arm-none-eabi-gcc</code>. If this fails, you'll need to add the toolchain to your path manually.
This doesn't install make like WinAVR does, so if you haven't installed that, you'll need to on your own (the easiest way is just to install WinAVR as well).