[haddock @ 2002-05-08 13:37:25 by simonmar]

Change the markup for typewriter-font from [...] to @...@.  The
reasoning is that the '@' symbol is much less likely to be needed than
square brackets, and we don't want to have to escape square brackets
in code fragments.

This will be mildly painful in the short term, but it's better to get
the change out of the way as early as possible.

0 files changed, 0 insertions, 0 deletions