This is an old revision of the document!
Arduino IDE is a software that allows to write Arduino code. Each file with Arduino code is called a sketch.