From 3ca41ddb56efd927b46da41d9ce369c31538e3b3 Mon Sep 17 00:00:00 2001 From: dos-reis 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. --- src/ChangeLog | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 1e4d8f24..74841751 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,13 @@ +2010-02-20 Gabriel Dos Reis + + * 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. + 2010-02-17 Gabriel Dos Reis * interp/sys-constants.boot ($SystemInlinableConstructorNames): -- cgit v1.2.3