lampepfl/dotty — pull request #33 by odersky (2014-03-03 10:22:40+00:00)
Title: Better logging

Review by DarkDimius.

It would be good to get the order of files compiled next time dotc-config fails.