From cc6785231743efd1db52edfbe9129d353ee07e30 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 12 May 2010 08:48:27 -0500 Subject: [PATCH] Fixes URL typo --- collects/redex/redex.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index d782fcf7d6..8874339d38 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -67,7 +67,7 @@ reduction semantics, plus a suite of tools for working with the semantics. This is a reference manual for Redex. See -@link["http://redex.racket-lang.org/"]{@tt{http://redex.racket.org/}} +@link["http://redex.racket-lang.org/"]{@tt{http://redex.racket-lang.org/}} for a gentler overview. (See also the @tt{examples} subdirectory in the @tt{redex} collection.)