From fd8c12056474ecab97015eff9cdadd4bd77b5fd5 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 21 Sep 2008 03:35:55 +0000 Subject: * interp/sys-macros.lisp (|byteEqual|): New. * algebra/boolean.spad.pamphlet (PropositionalLogic): Extend SetCategory. (PropositionalFormula): Now unconditional exports coercion to OutputForm. Adjust implementation. (KleeneTrivalentLogic): New. * algebra/data.spad.pamphlet (Byte): Tidy. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move PROPLOG to layer 1. --- src/ChangeLog | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 7c0491fc..ef3796f0 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,15 @@ +2008-09-20 Gabriel Dos Reis + + * interp/sys-macros.lisp (|byteEqual|): New. + * algebra/boolean.spad.pamphlet (PropositionalLogic): Extend + SetCategory. + (PropositionalFormula): Now unconditional exports coercion to + OutputForm. Adjust implementation. + (KleeneTrivalentLogic): New. + * algebra/data.spad.pamphlet (Byte): Tidy. + * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move PROPLOG + to layer 1. + 2008-09-20 Gabriel Dos Reis * include/cfuns.h (oa_dirname): Declare. -- cgit v1.2.3