history updated for 5.3.2; PLEASE MERGE

mfelleisen · rmculpepper · commit 42a1012e665e · 2013-01-22T11:29:36.000-05:00
(cherry picked from commit bcec8bc)
diff --git a/doc/release-notes/teachpack/HISTORY.txt b/doc/release-notes/teachpack/HISTORY.txt
@@ -1,3 +1,9 @@
+------------------------------------------------------------------------
+Version 5.3.2                             [Tue Jan 22 10:30:15 EST 2013]
+
+* batch-io extended with access to stdin and stout 
+
+------------------------------------------------------------------------
 Version 5.3.1                             [Wed Oct 31 14:52:48 EDT 2012]
 
 * bug fixes
