bbatsov/prelude — pull request #471 by bixuanzju (2014-01-09 14:30:24+00:00)
Title: Enable symbol prettification

Enable symbol prettification (replacing a string like "lambda" with
the Greek lambda character).