From 4fc6c2ba4569effe346fd6f498b6ab55afe446cf Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 20 Aug 2012 07:17:59 +0000
Subject: 	* input/sint.input.pamphlet: Use /\$SingleInteger, not defunct
 	And$SingleInteger.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index e4f5760b..ebdb60e4 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2012-08-20  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* input/sint.input.pamphlet: Use /\$SingleInteger, not defunct
+	And$SingleInteger.
+
 2012-08-20  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/i-coerfn.boot: Do not import i-coerce.  Import i-analy
-- 
cgit v1.2.3