scala-ide/scala-ide — pull request #497 by dragos (2013-08-14 11:01:51+00:00)
Title: Switch to cross-compiled versions of Scala modules.

For the moment, only `scala-xml` is cross compiled.