[project @ 2004-08-09 10:04:33 by simonmar]
authorsimonmar <unknown>
Mon, 9 Aug 2004 10:04:33 +0000 (10:04 +0000)
committersimonmar <unknown>
Mon, 9 Aug 2004 10:04:33 +0000 (10:04 +0000)
commite8bbadc69fa0828c14605bda8cae60df10948f08
tree365447c2d8fce42fd177cb881cf2c8c0d6dab52c
parente12bdd678d4b56a98f6b1a2bfc82b1eff5551bef
[project @ 2004-08-09 10:04:33 by simonmar]
quotes: use an appostrophe at both ends rather than a grave accent at
the front and an apostrophe at the end.

Previously

  `quotes'

now

  'quotes'

the latter is more correct.  See
http://www.cl.cam.ac.uk/~mgk25/ucs/quotes.html fpr details.
Text/PrettyPrint/HughesPJ.hs