scala/scala — pull request #712 by dragos (2012-06-13 17:28:38+00:00)
Title: Issue/hardening compiling with newer sources

A bunch of changes to make the compiler more robust when sources in the Scala library are newer than the corresponding classfiles.

Most changes affect the presentation compiler, but they would help in normal builds as well. I broke it down in several small self-contained commits.

review by @odersky.