From f7c0aca737ca6c6ceaba22d5a222125fe35779cc Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 9 Jul 2007 01:59:08 +0000 Subject: [PATCH] pickier svn: r6862 original commit: 7d3fc1187eeb5e2398310294f3d05fb94605b9dc --- collects/scribble/doc.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/doc.txt b/collects/scribble/doc.txt index e8584768..45954fd8 100644 --- a/collects/scribble/doc.txt +++ b/collects/scribble/doc.txt @@ -220,7 +220,7 @@ end of the text. In addition, a "{" is allowed as part of the text, and it makes the matching "}" be part of the text too -- so balanced braces are valid text. - @foo{f{o}o} --reads-as--> (foo "f{o}o") + @foo{f{o}o} --reads-as--> (foo "f{o}o") @foo{{{}}{}} --reads-as--> (foo "{{}}{}") As described above, the text turns to a sequence of string arguments