diff options
author | dos-reis <gdr@axiomatics.org> | 2008-05-28 00:29:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-05-28 00:29:58 +0000 |
commit | 6ec189437ed7e4f737875407152cd2c359d2942e (patch) | |
tree | 48183ccf896a1ce9ee26cd289f33c2b436848e60 /configure.ac | |
parent | b366261f80ac518a14ad3c12ca7c0f77fc7d7474 (diff) | |
download | open-axiom-6ec189437ed7e4f737875407152cd2c359d2942e.tar.gz |
* algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
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) |