aboutsummaryrefslogtreecommitdiff
path: root/configure.ac.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-07-04 16:08:48 +0000
committerdos-reis <gdr@axiomatics.org>2008-07-04 16:08:48 +0000
commit897248c1939a687b7af06e64c59592a52edf1030 (patch)
tree6f986f89d52b5c94f88b1ff0fc49e1ace365c587 /configure.ac.pamphlet
parentce7fb3cef0b7099970aa5a83d656a3ed39cec630 (diff)
downloadopen-axiom-897248c1939a687b7af06e64c59592a52edf1030.tar.gz
* interp/category.boot (isCategory): Document.
(isCategoryForm): Likewise. Tidy. (mkCategory): Likewise.
Diffstat (limited to 'configure.ac.pamphlet')
-rw-r--r--configure.ac.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet
index 0751ac4e..d102d419 100644
--- a/configure.ac.pamphlet
+++ b/configure.ac.pamphlet
@@ -1103,7 +1103,7 @@ information:
<<Autoconf init>>=
sinclude(config/open-axiom.m4)
sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.2.0-2008-07-02],
+AC_INIT([OpenAxiom], [1.2.0-2008-07-04],
[open-axiom-bugs@lists.sf.net])
@