From 039d827424fd8b6624e99e1c000540b31b4efb7f Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 18 Feb 2008 10:49:20 +0000 Subject: [PATCH] use @verbatim{...} svn: r8699 original commit: 9c7790971010d45b78b3322831da216f65256080 --- collects/scribblings/scribble/basic.scrbl | 6 +- collects/scribblings/scribble/decode.scrbl | 2 +- collects/scribblings/scribble/how-to.scrbl | 72 +++++++++------------- collects/scribblings/scribble/layers.scrbl | 5 +- collects/scribblings/scribble/reader.scrbl | 4 +- collects/scribblings/scribble/style.scrbl | 4 +- 6 files changed, 39 insertions(+), 54 deletions(-) diff --git a/collects/scribblings/scribble/basic.scrbl b/collects/scribblings/scribble/basic.scrbl index d1f7e52c..0df20161 100644 --- a/collects/scribblings/scribble/basic.scrbl +++ b/collects/scribblings/scribble/basic.scrbl @@ -35,11 +35,9 @@ called from Scheme as or with an @elem["@"] expression as -@verbatim[ -#<