Documentation for the scala-ide