aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-05-11 12:21:28 +0000
committerdos-reis <gdr@axiomatics.org>2009-05-11 12:21:28 +0000
commit9be496672521ccbeb6bef0cebb563c6124fc84ca (patch)
tree8a13ce0a685493de7e7536e30271bee7648649dd /src/ChangeLog
parentd3eeff8c0c553fd276f475590b2967bf388bdbed (diff)
downloadopen-axiom-9be496672521ccbeb6bef0cebb563c6124fc84ca.tar.gz
* interp/property.lisp: "not" is prefix operator with "not " for
rendering. * interp/i-output.boot ($allClassicOps): Include not. * algebra/boolean.spad.pamphlet (PropositionalFormula): Rework.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index e4cb67f4..2b01db03 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,10 @@
+2009-05-11 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/property.lisp: "not" is prefix operator with "not " for
+ rendering.
+ * interp/i-output.boot ($allClassicOps): Include not.
+ * algebra/boolean.spad.pamphlet (PropositionalFormula): Rework.
+
2009-05-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* boot/translator.boot: Don't load imported modules when