aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index ed975515..f9082fe8 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,9 @@
2011-02-28 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * interp/i-code.boot: Move content to i-coerce.boot. Delete.
+
+2011-02-28 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* algebra/boolean.spad.pamphlet (PropositionalFormula):
Implement true and false. Fix thinko in notFormula.