Recently, I have migrated Eclipse Scala-IDE from its 2.10-M5 version to the 2.10-M7 one. Since there have been several changes in the Scala standard API, now I have a lot of inconsistencies in some of my projects . As a result, I would like to keep on working with the old Scala-IDE version, but I don't know how to return to it. Is it possible to install a particular milestone? I can't find such URL in the official web.