From 8b290c8ad23248c1ea5535852bc236661884df73 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 16 Sep 2009 00:35:09 +0000
Subject: [PATCH] svn: r16019

---
 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 d55410a50c..e34be6840f 100644
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@@ -58,7 +58,7 @@
 @(define redex-eval (make-base-eval))
 @(interaction-eval #:eval redex-eval (require redex/reduction-semantics))
 
-@title{@bold{Redex}: Debugging Operational Semantics}
+@title{@bold{Redex}: Practical Semantics Engineering}
 
 @author["Robert Bruce Findler" "Casey Klein"]