From 10791ddc24656aaf22f65887e086fb33dfbad8de Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 29 May 2008 04:23:19 +0000
Subject: 	* interp/showimp.boot (showPredicates): Fix typo. 	*
 testsuite/interpreter/show.input: New.

---
 src/ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 79cdf3dd..75ce7345 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2008-05-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/showimp.boot (showPredicates): Fix typo.
+	* testsuite/interpreter/show.input: New.
+
 2008-05-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/catdef.spad.pamphlet (OrderedMonoid): Nown
-- 
cgit v1.2.3