From 56b94b1bdf75ba688b5632302ed310cc1f5377e9 Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Fri, 28 May 2010 21:39:59 -0500
Subject: [PATCH] Updates Redex history for 5.0 release

---
 doc/release-notes/redex/HISTORY.txt | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index 94f22016e6..ce7d3701e4 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -1,3 +1,12 @@
+v5.0
+
+  * added an optional term-equivalence predicate to the test--> and
+    test-->> forms
+
+  * added R6RS and Racket VM models to examples sub-collection
+
+  * fixed minor bugs
+  
 v4.2.5
 
   * reversed the order in which `where' and `side-condition' clauses