From cbd4e8ff8934e0613e8cc76e82afb3ffc7ab4dd6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 5 Feb 2008 22:07:35 +0000 Subject: [PATCH] start scribbling mzlib (about half done) svn: r8546 original commit: 8bac4b1d282f4b8aea11d02dca7c358ddbb0f7fc --- collects/scribble/manual.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index daf0434b..aa11e6d7 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -1856,7 +1856,7 @@ (cond [(string? i) (cond - [(regexp-match #rx"^(.*)([()0-9])(.*)$" i) + [(regexp-match #px"^(.*)([()0-9{}\\[\\]])(.*)$" i) => (lambda (m) (append (loop (cadr m)) (list (caddr m))