scala/scala-dist — pull request #116 by sschaef (2014-01-03 15:41:12+00:00)
Title: Rewrite \` found in listing to a real \`

A \` that occurs in a listing is shown as two signs whereas one
wants to display it as a single `. This change is required because
a single ` that is written to a listing is already rewritten to and
therefore displayed as a beginning apostrophe.

This style bug can be seen in the syntax summary for `id`.

Review by @odersky