Arduino.h should be in the distribution.
However I recall the 1.01 did not work for me either (dont recall why) so I now use the 1.04 version of the IDE.
advice: upgrade to 1.04 or 1.05
Arduino.h should be in the distribution.
However I recall the 1.01 did not work for me either (dont recall why) so I now use the 1.04 version of the IDE.
advice: upgrade to 1.04 or 1.05