ensime/ensime.github.io — pull request #1 by edani (2014-07-13 06:50:15+00:00)
Title: Updated doc for semantic highlighting

This PR goes with https://github.com/ensime/ensime-emacs/pull/16.

It also updates the gen_manual script and re-builds the manual.