From 3ca41ddb56efd927b46da41d9ce369c31538e3b3 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 21 Feb 2010 00:48:28 +0000
Subject: 	* algebra/boolean.spad.pamphlet (PropositionalFormula): 
 Reimplement in terms of kernels. 	* algebra/Makefile.pamphlet
 ($(OUT)/KERNEL.$(FASLEXT)): New 	dependence rule. 
 ($(OUT)PROPFRML.$(FASLEXT)): Likewise. 	(axiom_algebra_layer_19): Move
 PROPFRML to... 	(axiom_algebra_layer_6): ...here.

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

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index 335b69aa..30fd65fc 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-02-17], 
+AC_INIT([OpenAxiom], [1.4.0-2010-02-20], 
         [open-axiom-bugs@lists.sf.net])
 
 AC_CONFIG_AUX_DIR(config)
-- 
cgit v1.2.3