scala/scala — pull request #1005 by odersky (2012-07-27 15:32:46+00:00)
Title: IDE imrpovements, with particular focus on making worksheets work.

Review by @dragos