lampepfl/dotty — pull request #116 by odersky (2014-04-04 16:19:01+00:00)
Title: Install method for SymDenotations

Add a new method to install a SymDenotation after a specific
phase has run. The new denotation replaces the current denotation
of the symbol starting with the period after the given phase.