aboutsummaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-05-02 14:56:25 +0000
committerdos-reis <gdr@axiomatics.org>2010-05-02 14:56:25 +0000
commit86deb7d7804d04ee01aa0d8b3a27d8293c0a839f (patch)
tree79c1b177d28afd0fe11fdbd6a4d4ff29176a2cef /configure.ac
parent91e98f5f1cf726fc190f62db409ebeeadedbcd7b (diff)
downloadopen-axiom-86deb7d7804d04ee01aa0d8b3a27d8293c0a839f.tar.gz
* interp/compiler.boot (isSubset): Expand domain representation form.
* algebra/term.spad.pamphlet (retractIfCan$Arity): Tidy. * algebra/tree.spad.pamphlet (cyclicCopy2$Tree): Remove unnecessary "return".
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac
index 061cc629..d1faac8f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
sinclude(config/open-axiom.m4)
sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.4.0-2010-04-30],
+AC_INIT([OpenAxiom], [1.4.0-2010-05-01],
[open-axiom-bugs@lists.sf.net])
AC_CONFIG_AUX_DIR(config)