From 545a53731a7276fc61ce0b00ee5c8fa6708347c2 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 2 Aug 2008 21:00:45 +0000
Subject: [PATCH] changed the notation of metafunctions

svn: r11040
---
 collects/redex/HISTORY | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/collects/redex/HISTORY b/collects/redex/HISTORY
index 8161b4a192..d14fc63fa6 100644
--- a/collects/redex/HISTORY
+++ b/collects/redex/HISTORY
@@ -12,6 +12,8 @@
 
   CHANGES:
 
+  - define-metafunction and co. now use a different syntax.
+
   - zero occurrences of a hole when matching an `in-hole' now
     correctly fails.