From 9be496672521ccbeb6bef0cebb563c6124fc84ca Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 11 May 2009 12:21:28 +0000
Subject: 	* interp/property.lisp: "not" is prefix operator with "not "
 for 	rendering. 	* interp/i-output.boot ($allClassicOps): Include not. 
 * algebra/boolean.spad.pamphlet (PropositionalFormula): Rework.

---
 src/ChangeLog | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/ChangeLog')

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
-- 
cgit v1.2.3