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.

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index 6a56594d..dd6ad30d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
 sinclude(config/open-axiom.m4)
 sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.2.0-2008-05-21], 
+AC_INIT([OpenAxiom], [1.2.0-2008-05-25], 
         [open-axiom-bugs@lists.sf.net])
 
 AC_CONFIG_AUX_DIR(config)
-- 
cgit v1.2.3