From 6ec189437ed7e4f737875407152cd2c359d2942e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 28 May 2008 00:29:58 +0000
Subject: 	* algebra/catdef.spad.pamphlet (OrderedSemiGroup): New. 
 * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 7e92aae9..3bcdbb1f 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2008-05-25  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.
+	* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
+
 2008-05-24  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/i-coerce.boot (retract2Specialization): Leave if object
-- 
cgit v1.2.3