From b62d79045e981e9f507a959eb9b8b920c32e6af9 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Wed, 6 Aug 2008 06:16:31 +0000
Subject: [PATCH] website moved

svn: r11101
---
 collects/redex/redex.scrbl | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl
index 387d1bd314..beb8557602 100644
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@@ -82,10 +82,9 @@ reduction semantics, plus a suite of tools for working with the
 semantics. 
 
 This is a reference manual for Redex. See
-@link["http://www.cs.uchicago.edu/~robby/plt-redex/"]{
-@tt{http://www.cs.uchicago.edu/~robby/plt-redex/}} for a gentler
-overview. (See also the @tt{examples} subdirectory in the @tt{redex}
-collection.)
+@link["http://redex.plt-scheme.org/"]{@tt{http://redex.plt-scheme.org/}}
+for a gentler overview. (See also the @tt{examples} subdirectory in
+the @tt{redex} collection.)
 
 To load Redex use: @defmodule[redex] which provides all of
 the names documented in this library.