From 8827f4b6b51a702ad9ca395c345c2a54f456a931 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 17 Oct 2012 20:46:16 -0500
Subject: [PATCH] redex history release notes

merge to release please
---
 doc/release-notes/redex/HISTORY.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index 69fc6b919c..7bac3ffbee 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -6,6 +6,10 @@ v5.3.1
 
   * added judgment-form-cases
 
+  * adjust define-judgment-form typesetting so that it uses
+    the line breaks in a premise to determine how to line
+    break the typeset version
+
 v5.3
 
   * added the amb tutorial.