changed the notation of metafunctions

svn: r11040
2008-08-02 21:00:45 +00:00 · 2008-08-02 21:00:45 +00:00 · 545a53731a
commit 545a53731a
parent ef86c20a1d
1 changed files with 2 additions and 0 deletions
--- 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.