ensime/ensime-server — pull request #539 by edani (2014-08-01 04:57:52+00:00)
Title: Small changes to help browsing scala reference sources

This is a step toward #518. Loading scala library sources is much improved. Java sources are still a problem.