This describes the general set-up of DrScheme. It also gives more detailed explanations about checking syntax and locating errors.