This is an old revision of the document!
The Digispark Pro uses the Arduino IDE - Digistump Release 1.5.x which is the Arduino IDE with some custom additions and supports Digispark, Digispark Pro, and DigiX. These are presented as a fully integrated package with 1.5.x that can be downloaded as an installed or zip file.
First download the appropriate package:
Compiling from source: https://github.com/digistump/DigistumpArduino
Plug it in and away you go! It works like other Arduino boards, serial monitor works as well. Check out the examples as well as the other tutorials here and the “Due Only Libraries” here: http://arduino.cc/en/Reference/Libraries for some of the cool features.