From d9fed70309979e063c16c35be9756c4ce76b2136 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 15 May 2009 15:14:07 +0000
Subject: 	* algebra/op.spad.pamphlet (assert$BasicOperator): Overload
 for 	Identifier.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 35b83293..4ebe27a5 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2009-05-15  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/op.spad.pamphlet (assert$BasicOperator): Overload for
+	Identifier. 
+
 2009-05-14  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/any.spad.pamphlet (RuntimeValue): New domain.
-- 
cgit v1.2.3