From b107db3eaba8069a8a47f2dc3f39b9858e954efa Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 7 Apr 2010 21:02:55 +0000
Subject: 	* algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula):
 	Rename from isTerm. 	(simplify$PropositionalFormulaFunctions1):
 New.

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

(limited to 'configure.ac.pamphlet')

diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet
index b506d533..be0f114b 100644
--- a/configure.ac.pamphlet
+++ b/configure.ac.pamphlet
@@ -1200,7 +1200,7 @@ information:
 <<Autoconf init>>=
 sinclude(config/open-axiom.m4)
 sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.4.0-2010-04-04], 
+AC_INIT([OpenAxiom], [1.4.0-2010-04-07], 
         [open-axiom-bugs@lists.sf.net])
 
 @
-- 
cgit v1.2.3